Termination Competition 2019: Logic Programming33595

Job info CSV
benchmark AProVE standard NTI default
talp_plumer/pl6.1.1.pl 5154371 YES 8.91/3.60 timeout (wallclock) [out]
talp_plumer/pl5.2.2.pl 5154372 timeout (wallclock) [out] timeout (wallclock) [out]
talp_plumer/pl1.2.pl 5154373 YES 5.54/2.22 timeout (wallclock) [out]
talp_plumer/pl7.6.2b.pl 5154374 MAYBE 172.53/44.67 timeout (wallclock) [out]
talp_plumer/pl8.3.1.pl 5154375 timeout (wallclock) [out] timeout (wallclock) [out]
talp_plumer/mergesort_t.pl 5154376 YES 11.99/3.95 timeout (wallclock) [out]
talp_plumer/pl4.4.6a.pl 5154377 YES 4.09/1.91 timeout (wallclock) [out]
talp_plumer/pl2.3.1.pl 5154378 YES 3.45/1.61 timeout (wallclock) [out]
talp_plumer/pl7.2.9.pl 5154379 YES 3.95/1.85 timeout (wallclock) [out]
talp_plumer/pl8.4.2.pl 5154380 YES 5.79/2.24 timeout (wallclock) [out]
talp_plumer/pl3.1.1.pl 5154381 MAYBE 8.21/3.01 NO 0.16/0.15
talp_plumer/pl1.2_t.pl 5154382 YES 6.12/2.40 timeout (wallclock) [out]
talp_plumer/pl8.2.1.pl 5154383 YES 14.66/4.66 timeout (wallclock) [out]
talp_plumer/pl4.0.1-oooi.pl 5154384 MAYBE 5.87/2.31 NO 0.17/0.15
talp_plumer/pl4.5.3c.pl 5154385 MAYBE 6.42/2.49 NO 0.16/0.14
talp_plumer/pl4.5.2.pl 5154386 MAYBE 37.40/10.50 NO 0.16/0.14
talp_plumer/pl3.5.6a.pl 5154387 YES 3.34/1.69 timeout (wallclock) [out]
talp_plumer/pl7.6.2c.pl 5154388 YES 8.33/3.12 timeout (wallclock) [out]
talp_plumer/pl4.5.3b.pl 5154389 MAYBE 8.68/3.14 NO 0.16/0.15
talp_plumer/pl3.5.6.pl 5154390 MAYBE 6.17/2.42 NO 0.16/0.14
talp_plumer/pl1.1.pl 5154391 MAYBE 6.26/2.44 NO 0.16/0.14
talp_plumer/pl4.4.3.pl 5154392 YES 6.20/2.32 timeout (wallclock) [out]
talp_plumer/pl8.3.1a.pl 5154393 YES 9.48/3.26 timeout (wallclock) [out]
talp_plumer/pl8.2.1a.pl 5154394 YES 10.81/3.67 timeout (wallclock) [out]
talp_plumer/pl7.6.2a.pl 5154395 MAYBE 16.34/7.04 timeout (wallclock) [out]
talp_plumer/pl4.5.3a.pl 5154396 MAYBE 6.38/2.47 NO 0.16/0.13
talp_plumer/pl4.0.1.pl 5154397 YES 3.96/1.84 timeout (wallclock) [out]
talp_plumer/pl8.4.1.pl 5154398 YES 3.82/1.72 timeout (wallclock) [out]
talp_mixed/flat.pl 5154328 YES 5.37/2.13 timeout (wallclock) [out]
talp_mixed/hanoiapp.suc.pl 5154329 YES 8.06/2.96 timeout (wallclock) [out]
talp_mixed/permute1.pl 5154330 YES 5.50/2.25 timeout (wallclock) [out]
talp_mixed/reverse.pl 5154331 YES 3.96/1.87 timeout (wallclock) [out]
talp_mixed/sicstus1.pl 5154332 YES 4.10/1.81 timeout (wallclock) [out]
talp_mixed/p.pl 5154333 YES 3.74/1.78 timeout (wallclock) [out]
talp_mixed/queens.pl 5154334 YES 8.42/3.04 timeout (wallclock) [out]
talp_mixed/sublist1.pl 5154335 YES 3.93/1.78 timeout (wallclock) [out]
talp_mixed/flat-oi.pl 5154336 MAYBE 7.08/2.79 timeout (wallclock) [out]
talp_mixed/rotate.pl 5154337 YES 4.17/2.01 timeout (wallclock) [out]
talp_mixed/qicksort.pl 5154338 YES 9.47/3.25 timeout (wallclock) [out]
talp_mixed/sublist.pl 5154339 YES 4.46/2.07 timeout (wallclock) [out]
talp_mixed/sameleaves.pl 5154340 YES 5.92/2.34 timeout (wallclock) [out]
talp_mixed/zebra.pl 5154341 YES 6.10/2.45 timeout (wallclock) [out]
talp_mixed/bad_sublist.pl 5154342 MAYBE 7.26/2.72 NO 0.18/0.15
talp_mixed/fib_t.pl 5154343 YES 4.24/2.00 timeout (wallclock) [out]
talp_mixed/mergesort.pl 5154344 YES 16.29/5.06 timeout (wallclock) [out]
talp_mixed/ack.pl 5154345 YES 3.79/1.76 timeout (wallclock) [out]
talp_mixed/perm.pl 5154346 YES 5.71/2.28 timeout (wallclock) [out]
terminweb_new/NJ5.pl 5154313 YES 4.03/1.80 timeout (wallclock) [out]
terminweb_new/type-based_append.pl 5154314 YES 3.79/1.80 timeout (wallclock) [out]
terminweb_new/preorder_dl.pl 5154315 YES 3.91/1.79 MAYBE 0.14/0.14
terminweb_new/NJ6.pl 5154316 YES 4.26/1.89 timeout (wallclock) [out]
terminweb_new/ways.pl 5154317 YES 18.78/5.71 timeout (wallclock) [out]
terminweb_new/NJ3.pl 5154318 YES 4.52/2.08 timeout (wallclock) [out]
terminweb_new/som.pl 5154319 YES 3.85/1.78 MAYBE 0.14/0.13
terminweb_new/transpose.pl 5154320 YES 5.06/2.18 timeout (wallclock) [out]
terminweb_new/NJ1.pl 5154321 YES 4.07/1.92 timeout (wallclock) [out]
terminweb_new/NJ2.pl 5154322 YES 4.00/1.77 timeout (wallclock) [out]
terminweb_new/append-ooi.pl 5154323 YES 3.98/1.77 timeout (wallclock) [out]
terminweb_new/backwards_append.pl 5154324 YES 3.62/1.64 timeout (wallclock) [out]
terminweb_new/NJ4.pl 5154325 YES 3.81/1.75 timeout (wallclock) [out]
terminweb_new/basic_append.pl 5154326 YES 3.98/1.75 timeout (wallclock) [out]
terminweb_new/der.pl 5154327 YES 8.22/3.05 MAYBE 0.14/0.14
talp_talp/binary3.pl 5154474 YES 6.85/2.56 timeout (wallclock) [out]
talp_talp/binary4.pl 5154475 MAYBE 19.10/5.96 NO 0.19/0.16
talp_talp/flat.pl 5154476 YES 4.83/2.10 timeout (wallclock) [out]
talp_talp/binary.pl 5154477 YES 6.65/2.64 timeout (wallclock) [out]
talp_talp/append.pl 5154478 YES 3.83/1.78 timeout (wallclock) [out]
talp_talp/normal.pl 5154479 YES 5.16/2.09 timeout (wallclock) [out]
talp_talp/transitive_closure.pl 5154480 YES 3.82/1.76 timeout (wallclock) [out]
talp_talp/palindrome.pl 5154481 YES 4.08/1.83 timeout (wallclock) [out]
talp_talp/example4-2.pl 5154482 MAYBE 6.76/2.57 NO 0.16/0.14
talp_talp/evaluate.pl 5154483 YES 7.10/7.09 MAYBE 0.14/0.13
talp_talp/reminder-ioi.pl 5154484 YES 8.42/3.02 timeout (wallclock) [out]
talp_talp/permute.pl 5154485 YES 5.21/2.63 timeout (wallclock) [out]
talp_talp/example4.pl 5154486 YES 3.72/1.76 timeout (wallclock) [out]
talp_talp/simple.pl 5154487 YES 3.38/1.75 timeout (wallclock) [out]
talp_talp/slowsort.pl 5154488 YES 6.64/2.64 timeout (wallclock) [out]
talp_talp/slowsort-oi.pl 5154489 MAYBE 9.66/3.44 NO 0.18/0.16
talp_talp/qsort.pl 5154490 YES 8.67/3.10 timeout (wallclock) [out]
talp_talp/example1.pl 5154491 YES 3.48/1.70 timeout (wallclock) [out]
talp_talp/gcd.pl 5154492 YES 7.69/2.90 timeout (wallclock) [out]
talp_talp/reminder.pl 5154493 YES 7.19/2.77 timeout (wallclock) [out]
talp_talp/vangelder.pl 5154494 YES 13.69/4.33 timeout (wallclock) [out]
talp_talp/div.pl 5154495 YES 6.33/2.54 timeout (wallclock) [out]
talp_talp/nat.pl 5154496 YES 4.82/2.04 timeout (wallclock) [out]
talp_talp/binary2.pl 5154497 YES 6.45/2.59 timeout (wallclock) [out]
talp_talp/perm.pl 5154498 YES 5.51/2.22 timeout (wallclock) [out]
SGST06/ackermann.pl 5154413 YES 4.29/1.90 timeout (wallclock) [out]
SGST06/p_nonlin.pl 5154414 YES 10.55/3.53 timeout (wallclock) [out]
SGST06/plus.pl 5154415 YES 3.77/1.77 timeout (wallclock) [out]
SGST06/transpose2.pl 5154416 MAYBE 7.18/2.76 NO 0.18/0.16
SGST06/snake.pl 5154417 timeout (wallclock) [out] MAYBE 0.14/0.13
SGST06/giesl97.pl 5154418 YES 4.68/2.08 timeout (wallclock) [out]
SGST06/ifminus.pl 5154419 YES 5.47/2.24 timeout (wallclock) [out]
SGST06/avg-bfb.pl 5154420 YES 3.88/1.85 timeout (wallclock) [out]
SGST06/times.pl 5154421 YES 4.17/1.83 timeout (wallclock) [out]
SGST06/paper2.pl 5154422 YES 7.69/1.80 timeout (wallclock) [out]
SGST06/csnake.pl 5154423 timeout (wallclock) [out] timeout (wallclock) [out]
SGST06/flatten.pl 5154424 YES 4.58/2.00 timeout (wallclock) [out]
SGST06/toyama.pl 5154425 YES 3.36/1.62 timeout (wallclock) [out]
SGST06/palindrome.pl 5154426 YES 5.90/2.32 timeout (wallclock) [out]
SGST06/weight.pl 5154427 YES 7.92/2.85 timeout (wallclock) [out]
SGST06/flatten_phd.pl 5154428 YES 6.13/2.47 timeout (wallclock) [out]
SGST06/quot.pl 5154429 YES 4.29/1.88 timeout (wallclock) [out]
SGST06/pplus.pl 5154430 YES 3.75/1.67 timeout (wallclock) [out]
SGST06/log.pl 5154431 YES 5.10/2.11 timeout (wallclock) [out]
SGST06/p.pl 5154432 YES 9.67/3.32 timeout (wallclock) [out]
SGST06/baby91.pl 5154433 timeout (wallclock) [out] timeout (wallclock) [out]
SGST06/at.pl 5154434 YES 3.40/1.58 timeout (wallclock) [out]
SGST06/confdel.pl 5154435 YES 6.00/2.47 timeout (wallclock) [out]
SGST06/prime.pl 5154436 YES 11.92/3.95 timeout (wallclock) [out]
SGST06/rev.pl 5154437 YES 8.97/3.59 timeout (wallclock) [out]
SGST06/preorder.pl 5154438 YES 3.90/1.78 MAYBE 0.14/0.13
SGST06/countstack.pl 5154439 YES 4.41/1.95 timeout (wallclock) [out]
SGST06/mapcolor.pl 5154440 MAYBE 29.62/8.53 timeout (wallclock) [out]
SGST06/evenodd.pl 5154441 YES 3.74/1.71 timeout (wallclock) [out]
SGST06/btree.pl 5154442 YES 4.81/2.03 timeout (wallclock) [out]
SGST06/avg.pl 5154443 YES 4.69/2.02 timeout (wallclock) [out]
SGST06/samefringe.pl 5154444 YES 5.91/2.35 timeout (wallclock) [out]
SGST06/cconfdel.pl 5154445 YES 5.74/2.23 timeout (wallclock) [out]
SGST06/pplus2.pl 5154446 YES 5.03/2.17 timeout (wallclock) [out]
SGST06/factor.pl 5154447 YES 5.88/2.27 timeout (wallclock) [out]
SGST06/blist.pl 5154448 YES 4.18/1.89 timeout (wallclock) [out]
SGST06/incomplete.pl 5154449 YES 3.79/1.73 timeout (wallclock) [out]
SGST06/ag01.pl 5154450 YES 4.57/2.08 timeout (wallclock) [out]
SGST06/cnfequiv.pl 5154451 YES 8.48/3.11 timeout (wallclock) [out]
SGST06/ifdiv.pl 5154452 MAYBE 129.63/38.22 NO 0.20/0.15
SGST06/shuffle.pl 5154453 YES 5.47/2.28 timeout (wallclock) [out]
SGST06/incomplete2.pl 5154454 YES 3.77/1.76 timeout (wallclock) [out]
SGST06/hbal_tree.pl 5154455 YES 5.48/2.29 timeout (wallclock) [out]
SGST06/intlist.pl 5154456 YES 4.49/1.91 timeout (wallclock) [out]
SGST06/doublehalfpred.pl 5154457 MAYBE 210.16/54.22 timeout (wallclock) [out]
SGST06/paper1.pl 5154458 YES 4.01/1.90 timeout (wallclock) [out]
SGST06/btapplast.pl 5154459 YES 5.22/2.22 timeout (wallclock) [out]
SGST06/gopher.pl 5154460 YES 4.32/2.27 timeout (wallclock) [out]
SGST06/convert.pl 5154461 YES 5.78/2.68 timeout (wallclock) [out]
SGST06/psk09-maxsort-bool-nocut.pl 5154462 YES 114.97/31.19 timeout (wallclock) [out]
SGST06/psk09-append_variant.pl 5154463 MAYBE 6.14/2.38 timeout (wallclock) [out]
SGST06/applast.pl 5154464 YES 4.63/2.01 timeout (wallclock) [out]
SGST06/bappend.pl 5154465 YES 4.11/1.87 timeout (wallclock) [out]
SGST06/transpose-fb.pl 5154466 YES 7.11/3.13 timeout (wallclock) [out]
SGST06/parse.pl 5154467 YES 7.59/2.78 timeout (wallclock) [out]
SGST06/d.pl 5154468 YES 10.89/3.66 MAYBE 0.14/0.14
SGST06/perm.pl 5154469 YES 5.16/2.17 timeout (wallclock) [out]
SGST06/lessleaves.pl 5154470 YES 5.83/2.95 timeout (wallclock) [out]
SGST06/times2.pl 5154471 YES 5.70/2.34 timeout (wallclock) [out]
SGST06/incomplete_variant.pl 5154472 YES 3.43/1.67 timeout (wallclock) [out]
SGST06/btappend.pl 5154473 YES 4.34/1.91 timeout (wallclock) [out]
lpexamples/ackermann.pl 5154399 YES 4.51/1.95 timeout (wallclock) [out]
lpexamples/log2a.pl 5154400 YES 5.73/2.31 timeout (wallclock) [out]
lpexamples/lategen.pl 5154401 YES 3.35/1.62 timeout (wallclock) [out]
lpexamples/log2a-oi.pl 5154402 MAYBE 11.01/4.22 NO 0.17/0.15
lpexamples/ackermann-ioi.pl 5154403 MAYBE 14.61/4.63 NO 0.16/0.15
lpexamples/mapcolor.pl 5154404 MAYBE 29.69/10.44 timeout (wallclock) [out]
lpexamples/shapes.pl 5154405 YES 9.81/3.34 timeout (wallclock) [out]
lpexamples/mergesort-oi.pl 5154406 MAYBE 21.04/6.48 NO 0.18/0.16
lpexamples/ts08.pl 5154407 YES 3.84/1.74 timeout (wallclock) [out]
lpexamples/log2b-oi.pl 5154408 MAYBE 82.64/24.68 NO 0.19/0.17
lpexamples/average.pl 5154409 YES 4.82/2.03 timeout (wallclock) [out]
lpexamples/average-ioi.pl 5154410 YES 4.02/1.82 timeout (wallclock) [out]
lpexamples/mergesort.pl 5154411 YES 11.81/3.93 timeout (wallclock) [out]
lpexamples/log2b.pl 5154412 YES 5.46/2.64 timeout (wallclock) [out]
talp_dds/append.pl 5154499 YES 3.62/1.76 timeout (wallclock) [out]
talp_dds/duplicate.pl 5154500 YES 3.78/1.80 timeout (wallclock) [out]
talp_dds/reverse.pl 5154501 YES 4.54/2.04 timeout (wallclock) [out]
talp_dds/permute.pl 5154502 YES 4.98/2.15 timeout (wallclock) [out]
talp_dds/reverse-iio.pl 5154503 YES 3.77/1.81 timeout (wallclock) [out]
talp_dds/dis_con.pl 5154504 YES 4.03/1.80 timeout (wallclock) [out]
talp_dds/sum.pl 5154505 YES 4.04/1.80 timeout (wallclock) [out]
talp_dds/dis_con-bis.pl 5154506 YES 4.10/1.88 timeout (wallclock) [out]
talp_dds/merge.pl 5154507 YES 6.67/2.55 timeout (wallclock) [out]
talp_dds/sum-ioi.pl 5154508 YES 4.21/1.87 timeout (wallclock) [out]
talp_apt/map.pl 5154347 YES 3.76/1.70 timeout (wallclock) [out]
talp_apt/append.pl 5154348 YES 3.88/1.83 timeout (wallclock) [out]
talp_apt/map1.pl 5154349 YES 3.78/1.75 timeout (wallclock) [out]
talp_apt/quicksort.pl 5154350 YES 8.14/2.90 timeout (wallclock) [out]
talp_apt/naive_rev-oi.pl 5154351 MAYBE 6.90/2.65 NO 0.16/0.14
talp_apt/naive_rev.pl 5154352 YES 4.72/2.00 timeout (wallclock) [out]
talp_apt/quicksort-oi.pl 5154353 timeout (wallclock) [out] NO 0.19/0.15
talp_apt/select1.pl 5154354 YES 3.84/1.74 timeout (wallclock) [out]
talp_apt/member.pl 5154355 YES 3.73/1.67 timeout (wallclock) [out]
talp_apt/select.pl 5154356 YES 3.85/1.74 timeout (wallclock) [out]
talp_apt/sum.pl 5154357 YES 4.03/1.81 timeout (wallclock) [out]
talp_apt/SS_map_t.pl 5154358 MAYBE 35.43/11.05 timeout (wallclock) [out]
talp_apt/SS_map.pl 5154359 MAYBE 33.49/10.46 timeout (wallclock) [out]
talp_apt/mergesort_ap.pl 5154360 YES 20.49/6.21 timeout (wallclock) [out]
talp_apt/subset1.pl 5154361 MAYBE 8.41/3.01 timeout (wallclock) [out]
talp_apt/fold.pl 5154362 YES 3.77/1.78 timeout (wallclock) [out]
talp_apt/list.pl 5154363 YES 3.85/1.79 timeout (wallclock) [out]
talp_apt/SS_map_out.pl 5154364 MAYBE 28.71/8.27 timeout (wallclock) [out]
talp_apt/overlap.pl 5154365 YES 4.48/1.92 timeout (wallclock) [out]
talp_apt/subset.pl 5154366 YES 4.10/1.85 timeout (wallclock) [out]
talp_apt/ordered.pl 5154367 YES 4.99/2.04 timeout (wallclock) [out]
talp_apt/permutation.pl 5154368 YES 4.95/2.06 timeout (wallclock) [out]
talp_apt/mergesort.pl 5154369 YES 14.47/4.49 timeout (wallclock) [out]
talp_apt/lte.pl 5154370 YES 3.70/1.69 timeout (wallclock) [out]
BCGGV05/p_nonlin.pl 5154227 YES 9.14/3.22 timeout (wallclock) [out]
BCGGV05/minimum-fb.pl 5154228 MAYBE 5.77/2.74 NO 0.16/0.15
BCGGV05/tree.pl 5154229 YES 3.89/1.87 timeout (wallclock) [out]
BCGGV05/insert-bbf.pl 5154230 YES 4.99/2.08 timeout (wallclock) [out]
BCGGV05/g.pl 5154231 YES 4.28/1.93 timeout (wallclock) [out]
BCGGV05/select-bff.pl 5154232 MAYBE 5.94/2.43 NO 0.16/0.14
BCGGV05/search_tree.pl 5154233 YES 5.62/2.28 timeout (wallclock) [out]
BCGGV05/maximum-bff.pl 5154234 YES 4.14/1.78 timeout (wallclock) [out]
BCGGV05/frontier-fb.pl 5154235 MAYBE 7.55/2.81 NO 0.16/0.14
BCGGV05/member-fb.pl 5154236 YES 3.70/1.83 timeout (wallclock) [out]
BCGGV05/minimum-bf.pl 5154237 YES 3.78/1.73 timeout (wallclock) [out]
BCGGV05/delete-bbf.pl 5154238 YES 5.61/2.55 timeout (wallclock) [out]
BCGGV05/flatlength-ffb.pl 5154239 MAYBE 7.96/3.02 NO 0.18/0.14
BCGGV05/frontier-bf.pl 5154240 YES 4.90/2.13 timeout (wallclock) [out]
BCGGV05/slowsort-fb.pl 5154241 MAYBE 11.27/3.81 NO 0.18/0.15
BCGGV05/palindrome.pl 5154242 YES 4.02/1.82 timeout (wallclock) [out]
BCGGV05/suffix-bf.pl 5154243 MAYBE 6.34/2.47 NO 0.17/0.15
BCGGV05/insert-ffb.pl 5154244 YES 6.54/2.75 timeout (wallclock) [out]
BCGGV05/slowsort-bf.pl 5154245 YES 6.13/2.53 timeout (wallclock) [out]
BCGGV05/ackerman.pl 5154246 YES 4.68/2.06 timeout (wallclock) [out]
BCGGV05/tree_member-fb.pl 5154247 YES 4.05/1.82 timeout (wallclock) [out]
BCGGV05/flatlength-bbf.pl 5154248 YES 4.25/1.96 timeout (wallclock) [out]
BCGGV05/delete-fbf.pl 5154249 YES 7.25/2.65 timeout (wallclock) [out]
BCGGV05/p.pl 5154250 YES 11.17/3.75 timeout (wallclock) [out]
BCGGV05/flatlength-fbf.pl 5154251 MAYBE 9.31/3.29 NO 0.17/0.15
BCGGV05/inorder-fb.pl 5154252 MAYBE 11.33/3.72 NO 0.16/0.14
BCGGV05/insert-bfb.pl 5154253 YES 4.47/1.91 timeout (wallclock) [out]
BCGGV05/prefix-bf.pl 5154254 YES 3.69/1.71 timeout (wallclock) [out]
BCGGV05/append-ffb.pl 5154255 YES 3.74/1.77 timeout (wallclock) [out]
BCGGV05/insert-bff.pl 5154256 MAYBE 29.21/9.38 NO 0.18/0.15
BCGGV05/permutation-fb.pl 5154257 MAYBE 8.35/3.15 NO 0.17/0.16
BCGGV05/in-fb.pl 5154258 YES 5.57/2.23 timeout (wallclock) [out]
BCGGV05/delete-ffb.pl 5154259 YES 6.28/2.88 timeout (wallclock) [out]
BCGGV05/prefix-fb.pl 5154260 YES 3.77/1.74 timeout (wallclock) [out]
BCGGV05/subset-bf.pl 5154261 MAYBE 7.72/2.93 NO 0.17/0.17
BCGGV05/append-bff.pl 5154262 YES 4.08/1.96 timeout (wallclock) [out]
BCGGV05/mult.pl 5154263 YES 4.56/1.99 timeout (wallclock) [out]
BCGGV05/naive_reverse-bf.pl 5154264 YES 4.01/1.82 timeout (wallclock) [out]
BCGGV05/inorder-bf.pl 5154265 YES 4.77/1.98 timeout (wallclock) [out]
BCGGV05/transpose-bb.pl 5154266 YES 4.33/2.49 timeout (wallclock) [out]
BCGGV05/permutation-bf.pl 5154267 YES 5.70/2.35 timeout (wallclock) [out]
BCGGV05/reverse-bf.pl 5154268 YES 3.85/1.77 timeout (wallclock) [out]
BCGGV05/maximum-ffb.pl 5154269 YES 3.81/1.75 timeout (wallclock) [out]
BCGGV05/reverse-fb.pl 5154270 MAYBE 7.12/2.68 NO 0.17/0.15
BCGGV05/factor.pl 5154271 YES 6.96/2.61 timeout (wallclock) [out]
BCGGV05/less-fb.pl 5154272 YES 3.79/1.73 timeout (wallclock) [out]
BCGGV05/delete-bfb.pl 5154273 YES 5.30/2.23 timeout (wallclock) [out]
BCGGV05/map_color.pl 5154274 YES 3.66/1.77 timeout (wallclock) [out]
BCGGV05/suffix-fb.pl 5154275 YES 3.80/1.81 timeout (wallclock) [out]
BCGGV05/flat-fb.pl 5154276 MAYBE 7.80/2.88 NO 0.16/0.15
BCGGV05/delmin-ffb.pl 5154277 YES 4.05/2.25 timeout (wallclock) [out]
BCGGV05/less-bf.pl 5154278 YES 4.01/1.81 timeout (wallclock) [out]
BCGGV05/delmin-bff.pl 5154279 YES 3.93/1.90 timeout (wallclock) [out]
BCGGV05/subset-fb.pl 5154280 MAYBE 9.82/3.50 timeout (wallclock) [out]
BCGGV05/der-fb.pl 5154281 MAYBE 65.22/17.60 MAYBE 0.14/0.14
BCGGV05/list.pl 5154282 YES 3.68/1.78 timeout (wallclock) [out]
BCGGV05/select-fbf.pl 5154283 YES 3.77/1.73 timeout (wallclock) [out]
BCGGV05/quicksort-bf.pl 5154284 YES 8.19/2.98 timeout (wallclock) [out]
BCGGV05/sum-ffb.pl 5154285 YES 3.56/1.78 timeout (wallclock) [out]
BCGGV05/maximum-fbf.pl 5154286 YES 3.81/1.79 timeout (wallclock) [out]
BCGGV05/ordered.pl 5154287 YES 5.22/2.17 timeout (wallclock) [out]
BCGGV05/select-ffb.pl 5154288 YES 4.09/2.49 timeout (wallclock) [out]
BCGGV05/length1.pl 5154289 YES 3.80/1.88 timeout (wallclock) [out]
BCGGV05/sum-fbf.pl 5154290 YES 3.73/1.80 timeout (wallclock) [out]
BCGGV05/flatlength-bfb.pl 5154291 YES 4.27/1.86 timeout (wallclock) [out]
BCGGV05/member-bf.pl 5154292 MAYBE 6.58/2.51 NO 0.16/0.14
BCGGV05/length.pl 5154293 YES 3.79/1.70 timeout (wallclock) [out]
BCGGV05/mergesort.pl 5154294 MAYBE 25.17/7.45 NO 0.19/0.16
BCGGV05/sublist-bf.pl 5154295 MAYBE 6.01/2.39 NO 0.17/0.15
BCGGV05/sublist-fb.pl 5154296 YES 3.99/1.78 timeout (wallclock) [out]
BCGGV05/t.pl 5154297 YES 5.38/2.13 timeout (wallclock) [out]
BCGGV05/naive_reverse-fb.pl 5154298 MAYBE 6.97/2.69 NO 0.16/0.13
BCGGV05/permutation1-fb.pl 5154299 YES 4.52/1.96 timeout (wallclock) [out]
BCGGV05/transpose-fb.pl 5154300 YES 7.01/2.68 timeout (wallclock) [out]
BCGGV05/tree_member-bf.pl 5154301 MAYBE 6.92/2.62 NO 0.16/0.14
BCGGV05/quicksort-fb.pl 5154302 MAYBE 53.98/15.41 NO 0.19/0.16
BCGGV05/parse.pl 5154303 YES 6.83/2.53 timeout (wallclock) [out]
BCGGV05/flatlength-bff.pl 5154304 YES 3.93/1.73 timeout (wallclock) [out]
BCGGV05/der-bf.pl 5154305 YES 7.97/2.90 MAYBE 0.14/0.13
BCGGV05/insert-fbf.pl 5154306 YES 5.68/2.29 timeout (wallclock) [out]
BCGGV05/transpose-bf.pl 5154307 YES 4.32/2.40 timeout (wallclock) [out]
BCGGV05/numeral.pl 5154308 YES 3.81/1.74 timeout (wallclock) [out]
BCGGV05/in-bf.pl 5154309 MAYBE 27.48/8.93 NO 0.17/0.15
BCGGV05/delete-bff.pl 5154310 MAYBE 30.61/8.83 NO 0.19/0.16
BCGGV05/slowsort-bb.pl 5154311 YES 6.08/2.46 timeout (wallclock) [out]
BCGGV05/flat-bf.pl 5154312 YES 4.76/2.02 timeout (wallclock) [out]
terminweb_old/interleave.pl 5154209 YES 3.87/1.77 timeout (wallclock) [out]
terminweb_old/permutation2.pl 5154210 YES 5.40/2.19 timeout (wallclock) [out]
terminweb_old/subset-no.pl 5154211 MAYBE 9.21/3.27 timeout (wallclock) [out]
terminweb_old/untupled_bal_tree.pl 5154212 YES 5.31/2.28 MAYBE 0.14/0.14
terminweb_old/sublist0.pl 5154213 YES 3.96/1.85 timeout (wallclock) [out]
terminweb_old/ackerman.pl 5154214 YES 4.53/1.94 timeout (wallclock) [out]
terminweb_old/inorder.pl 5154215 YES 4.41/1.90 timeout (wallclock) [out]
terminweb_old/rotate.pl 5154216 YES 4.83/2.11 timeout (wallclock) [out]
terminweb_old/sublist.pl 5154217 YES 4.11/2.00 timeout (wallclock) [out]
terminweb_old/sameleaves.pl 5154218 YES 5.44/2.24 timeout (wallclock) [out]
terminweb_old/reach.pl 5154219 YES 9.85/3.35 timeout (wallclock) [out]
terminweb_old/subset.pl 5154220 YES 4.27/1.92 timeout (wallclock) [out]
terminweb_old/append3-bis.pl 5154221 YES 3.92/1.81 timeout (wallclock) [out]
terminweb_old/permutation1.pl 5154222 YES 5.33/2.18 timeout (wallclock) [out]
terminweb_old/balance_tree.pl 5154223 YES 4.51/1.94 MAYBE 0.14/0.13
terminweb_old/balance_tree2.pl 5154224 MAYBE 8.74/4.27 MAYBE 0.14/0.13
terminweb_old/sublist_bad.pl 5154225 MAYBE 6.71/2.58 NO 0.17/0.15
terminweb_old/append3.pl 5154226 YES 4.06/1.82 timeout (wallclock) [out]
238 42