Termination Competition 2018: Prolog30101

Job info CSV
benchmark AProVE standard
Prolog/AProVE_numeric/et2-true-c.pl 5154577 YES 4.50/1.86
Prolog/AProVE_numeric/svcomp-b-09-assume-c.pl 5154578 YES 5.04/2.01
Prolog/AProVE_numeric/svcomp-b-03-assume-c.pl 5154579 YES 7.03/2.65
Prolog/AProVE_numeric/svcomp-c-03-c.pl 5154580 YES 5.76/2.25
Prolog/AProVE_numeric/svcomp-c-02-c.pl 5154581 YES 9.72/3.42
Prolog/AProVE_numeric/svcomp-addition01-true-unreach-call-true-termination-modified-c.pl 5154582 YES 4.96/2.09
Prolog/AProVE_numeric/svcomp-java-sequence-c.pl 5154583 run script error [out]
Prolog/AProVE_numeric/et1-true-c.pl 5154584 YES 4.12/1.75
Prolog/AProVE_numeric/svcomp-twisted-c.pl 5154585 YES 6.20/2.31
Prolog/AProVE_numeric/svcomp-b-16-c.pl 5154586 YES 5.33/2.12
Prolog/AProVE_numeric/svcomp-rec-hanoi02-true-unreach-call-true-termination-modified.pl 5154587 MAYBE 8.53/2.99
Prolog/AProVE_numeric/svcomp-b-14-c.pl 5154588 YES 5.31/2.07
Prolog/AProVE_numeric/svcomp-java-log-built-in-c.pl 5154589 timeout (wallclock) [out]
Prolog/AProVE_numeric/svcomp-ex3b-c.pl 5154590 YES 3.99/1.90
Prolog/AProVE_numeric/rec-counter1-c.pl 5154591 YES 4.85/2.03
Prolog/AProVE_numeric/svcomp-java-break-c.pl 5154592 YES 7.57/2.72
Prolog/AProVE_numeric/svcomp-a-06-c.pl 5154593 YES 7.90/2.79
Prolog/AProVE_numeric/svcomp-b-07-c.pl 5154594 YES 5.09/1.97
Prolog/AProVE_numeric/svcomp-easy-sum-c.pl 5154595 YES 8.12/2.88
Prolog/AProVE_numeric/binomial-true-c.pl 5154596 YES 7.85/2.71
Prolog/AProVE_numeric/svcomp-c-07-c.pl 5154597 YES 33.37/14.03
Prolog/AProVE_numeric/svcomp-b-05-c.pl 5154598 YES 5.73/2.21
Prolog/AProVE_numeric/log-recursive-c-true.pl 5154599 YES 5.44/2.14
Prolog/AProVE_numeric/two-way-true.pl 5154600 MAYBE 12.90/4.20
Prolog/AProVE_numeric/svcomp-flag-c.pl 5154604 YES 11.79/3.99
Prolog/AProVE_numeric/svcomp-b-10-c.pl 5154605 YES 10.77/3.58
Prolog/AProVE_numeric/svcomp-even-odd-01-true-unrech-call-true-termination-modified-c.pl 5154606 YES 4.44/1.84
Prolog/AProVE_numeric/svcomp-ackermann01-true-unreach-call-modified-modified-c.pl 5154609 MAYBE 10.60/3.52
Prolog/AProVE_numeric/svcomp-ex1-c.pl 5154610 YES 5.00/2.05
Prolog/AProVE_numeric/svcomp-gcd-01-true-unreach-call-true-termination-modified-c.pl 5154611 YES 4.41/1.83
Prolog/AProVE_numeric/svcomp-fibonacci-01-true-unreach-call-modified-c.pl 5154612 YES 6.90/2.56
Prolog/AProVE_numeric/svcomp-b-18-c.pl 5154613 YES 11.97/4.40
Prolog/AProVE_numeric/terminator-rec-02-true.pl 5154614 YES 4.32/1.82
Prolog/AProVE_numeric/parts-true-c.pl 5154616 YES 5.03/2.05
Prolog/AProVE_numeric/svcomp-b-13-c.pl 5154617 YES 12.05/3.85
Prolog/AProVE_numeric/svcomp-mult-commutative-true-unreach-call-true-termination-modified-c.pl 5154618 MAYBE 74.64/23.58
Prolog/AProVE_numeric/svcomp-java-nested-c.pl 5154619 YES 4.96/2.03
Prolog/AProVE_numeric/svcomp-b-11-c.pl 5154620 YES 7.50/2.67
Prolog/AProVE_numeric/svcomp-a-04-c.pl 5154621 YES 8.33/2.87
Prolog/AProVE_numeric/svcomp-java-continue-c.pl 5154622 YES 4.60/1.90
Prolog/AProVE_numeric/svcomp-a-05-c.pl 5154623 YES 7.64/2.69
Prolog/AProVE_numeric/svcomp-b-04-c.pl 5154625 YES 4.80/2.00
Prolog/AProVE_numeric/svcomp-b-02-c.pl 5154626 YES 4.75/1.97
Prolog/AProVE_numeric/svcomp-ex3a-c.pl 5154627 YES 5.23/2.14
Prolog/AProVE_numeric/svcomp-a-08-c.pl 5154628 YES 4.59/1.95
Prolog/AProVE_numeric/ex2-c.pl 5154629 YES 4.19/1.77
Prolog/AProVE_numeric/svcomp-b-09-no-inv-assume-c.pl 5154630 YES 4.79/1.93
Prolog/AProVE_numeric/svcomp-b-12-c.pl 5154631 YES 10.87/3.52
Prolog/AProVE_numeric/svcomp-a-10-c.pl 5154632 YES 5.44/2.16
Prolog/AProVE_numeric/svcomp-java-ag313-c.pl 5154633 YES 4.19/1.77
Prolog/AProVE_numeric/le-user-def-rec-true.pl 5154635 YES 4.65/1.90
Prolog/AProVE_numeric/svcomp-c-08-c.pl 5154636 YES 10.29/3.42
Prolog/AProVE_numeric/svcomp-b-17-c.pl 5154637 YES 5.46/2.18
Prolog/AProVE_numeric/svcomp-a-09-assume-c.pl 5154639 YES 4.20/1.78
Prolog/AProVE_numeric/svcomp-b-03-no-inv-assume-c.pl 5154640 MAYBE 16.94/5.10
Prolog/AProVE_numeric/svcomp-b-15-c.pl 5154641 YES 7.05/2.63
Prolog/AProVE_numeric/et4-true-c.pl 5154642 YES 5.10/2.04
Prolog/AProVE_numeric/svcomp-c-01-no-inv-c.pl 5154643 MAYBE 26.49/7.53
Prolog/AProVE_numeric/svcomp-c-01-assume-c.pl 5154644 YES 7.41/2.64
Prolog/AProVE_10_prolog/and2.pl 5154535 MAYBE 5.11/2.06
Prolog/AProVE_10_prolog/inequality2.pl 5154536 MAYBE 8.22/2.94
Prolog/AProVE_10_prolog/and1.pl 5154537 YES 3.23/1.54
Prolog/AProVE_10_prolog/grammar.pl 5154538 YES 3.51/1.58
Prolog/AProVE_10_prolog/terminate.pl 5154539 MAYBE 6.25/2.37
Prolog/AProVE_10_prolog/nonterm.pl 5154540 YES 3.43/2.04
Prolog/AProVE_10_prolog/divrempredef.pl 5154541 YES 6.72/2.45
Prolog/AProVE_10_prolog/equality1.pl 5154542 MAYBE 5.62/2.21
Prolog/AProVE_10_prolog/even3.pl 5154543 YES 3.45/1.58
Prolog/AProVE_10_prolog/term.pl 5154544 YES 3.40/1.56
Prolog/AProVE_10_prolog/even2.pl 5154545 MAYBE 6.04/2.32
Prolog/AProVE_10_prolog/existpredef.pl 5154546 MAYBE 3.20/1.51
Prolog/AProVE_10_prolog/dyck.pl 5154547 YES 3.61/1.59
Prolog/AProVE_10_prolog/term2.pl 5154548 MAYBE 5.99/2.44
Prolog/AProVE_10_prolog/nounify.pl 5154549 MAYBE 5.48/2.21
Prolog/AProVE_10_prolog/even.pl 5154550 YES 3.28/1.55
Prolog/AProVE_10_prolog/lateinstance.pl 5154551 YES 3.52/1.64
Prolog/AProVE_10_prolog/inequality1.pl 5154552 MAYBE 5.69/2.28
Prolog/AProVE_10_prolog/addneg.pl 5154553 YES 3.76/1.67
Prolog/AProVE_10_prolog/equality2.pl 5154554 MAYBE 5.47/2.14
Prolog/Euler_queensu-cs260/insert.pl 5154645 YES 5.12/2.08
Prolog/Euler_queensu-cs260/euler-01.pl 5154646 timeout (wallclock) [out]
Prolog/Euler_queensu-cs260/prime.pl 5154647 timeout (wallclock) [out]
Prolog/Euler_queensu-cs260/euler-02-nonterm.pl 5154648 timeout (wallclock) [out]
Prolog/Euler_queensu-cs260/evenspaced2.pl 5154649 YES 5.31/2.14
Prolog/Euler_queensu-cs260/count.pl 5154650 MAYBE 3.91/1.71
Prolog/Euler_queensu-cs260/euler-04.pl 5154651 MAYBE 0.39/0.29
Prolog/Euler_queensu-cs260/evenspaced.pl 5154652 YES 4.68/1.89
Prolog/Euler_queensu-cs260/isort.pl 5154653 YES 4.63/1.92
Prolog/Euler_queensu-cs260/gcd.pl 5154654 YES 11.74/3.72
Prolog/Euler_queensu-cs260/evenspacedwithdiff.pl 5154655 YES 5.06/2.06
Prolog/Euler_queensu-cs260/euler-02.pl 5154656 YES 5.85/2.21
Prolog/Euler_queensu-cs260/countall.pl 5154657 MAYBE 3.87/1.73
Prolog/Euler_queensu-cs260/euler-03.pl 5154658 timeout (wallclock) [out]
Prolog/Art-of-prolog/program-8-8.pl 5154684 YES 3.73/2.63
Prolog/Art-of-prolog/exercise_timeslist.pl 5154685 YES 4.06/1.76
Prolog/Art-of-prolog/exercise_hanoi.pl 5154686 YES 6.56/2.46
Prolog/Art-of-prolog/exercise_min.pl 5154687 YES 4.02/1.74
Prolog/Art-of-prolog/program-8-6-b.pl 5154688 YES 4.24/1.83
Prolog/Art-of-prolog/program-8-6-a.pl 5154689 YES 3.91/1.72
Prolog/Art-of-prolog/program-8-7-a.pl 5154690 YES 4.21/1.79
Prolog/Art-of-prolog/program-8-10.pl 5154691 YES 3.96/1.73
Prolog/Art-of-prolog/program-8-9.pl 5154692 YES 4.33/1.85
Prolog/Art-of-prolog/program-8-12.pl 5154693 YES 5.86/2.30
Prolog/Art-of-prolog/program-8-3.pl 5154694 YES 7.49/2.78
Prolog/Art-of-prolog/program-8-11.pl 5154695 YES 4.02/1.76
Prolog/Art-of-prolog/exercise_squareroot.pl 5154696 YES 8.29/3.03
Prolog/Art-of-prolog/exercise_triangle2.pl 5154697 run script error [out]
Prolog/Art-of-prolog/program-8-7-b.pl 5154698 YES 4.57/1.94
Prolog/Art-of-prolog/program-8-1.pl 5154699 YES 5.44/2.21
Prolog/Art-of-prolog/exercise_power.pl 5154700 YES 5.93/2.27
Prolog/Art-of-prolog/exercise_area.pl 5154701 YES 4.37/1.81
Prolog/Art-of-prolog/program-8-4.pl 5154702 YES 4.07/1.76
Prolog/Art-of-prolog/exercise_length.pl 5154703 YES 4.52/1.91
Prolog/Art-of-prolog/exercise_triangle.pl 5154704 YES 4.22/1.79
Prolog/Art-of-prolog/program-8-2.pl 5154706 YES 4.48/1.90
Prolog/Art-of-prolog/program-8-5.pl 5154707 YES 6.36/2.40
Prolog/Art-of-prolog/exercise_between.pl 5154708 YES 4.85/1.97
Prolog/Art-of-prolog/exercise_range.pl 5154709 YES 4.10/1.76
Logic_Programming_with_Cut/Schneider_Kamp_09/max_valued.pl 5159275 YES 3.38/1.54
Logic_Programming_with_Cut/Schneider_Kamp_09/existential.pl 5159276 MAYBE 6.30/2.39
Logic_Programming_with_Cut/Schneider_Kamp_09/star1.pl 5159277 YES 6.18/2.33
Logic_Programming_with_Cut/Schneider_Kamp_09/append_linear.pl 5159278 YES 4.03/1.78
Logic_Programming_with_Cut/Schneider_Kamp_09/soundex.pl 5159279 YES 4.98/1.99
Logic_Programming_with_Cut/Schneider_Kamp_09/thief1.pl 5159280 MAYBE 6.51/2.39
Logic_Programming_with_Cut/Schneider_Kamp_09/hidden_flatten.pl 5159281 YES 4.86/2.00
Logic_Programming_with_Cut/Schneider_Kamp_09/len.pl 5159282 MAYBE 9.03/3.27
Logic_Programming_with_Cut/Schneider_Kamp_09/psk02.pl 5159283 YES 3.47/1.60
Logic_Programming_with_Cut/Schneider_Kamp_09/negationasfailure.pl 5159284 YES 4.08/1.75
Logic_Programming_with_Cut/Schneider_Kamp_09/less2.pl 5159285 YES 4.51/1.88
Logic_Programming_with_Cut/Schneider_Kamp_09/shuffle.pl 5159286 YES 4.05/1.76
Logic_Programming_with_Cut/Schneider_Kamp_09/less1.pl 5159287 YES 18.61/5.72
Logic_Programming_with_Cut/Schneider_Kamp_09/thief2.pl 5159288 YES 3.29/1.84
Logic_Programming_with_Cut/Schneider_Kamp_09/star2.pl 5159289 YES 4.48/1.90
Logic_Programming_with_Cut/Schneider_Kamp_09/psk03.pl 5159290 MAYBE 6.48/2.46
Logic_Programming_with_Cut/Schneider_Kamp_09/shape.pl 5159291 YES 3.70/1.63
Logic_Programming_with_Cut/Schneider_Kamp_09/psk01.pl 5159292 MAYBE 7.51/4.70
Logic_Programming_with_Cut/Schneider_Kamp_08/short2.pl 5159293 YES 3.40/1.57
Logic_Programming_with_Cut/Schneider_Kamp_08/appendex.pl 5159294 MAYBE 6.50/5.72
Logic_Programming_with_Cut/Schneider_Kamp_08/short1.pl 5159295 YES 3.68/1.62
Logic_Programming_with_Cut/Schneider_Kamp_08/negationasfailure.pl 5159296 YES 3.85/1.73
Logic_Programming_with_Cut/Schneider_Kamp_08/minus2.pl 5159297 YES 8.36/2.86
Logic_Programming_with_Cut/Schneider_Kamp_08/divminuslinear.pl 5159298 YES 5.92/2.22
Logic_Programming_with_Cut/Schneider_Kamp_08/minus1.pl 5159299 YES 4.13/1.77
Logic_Programming_with_Cut/Schneider_Kamp_08/minus4.pl 5159300 YES 3.68/1.69
Logic_Programming_with_Cut/Schneider_Kamp_08/minus3.pl 5159301 YES 3.97/1.71
Logic_Programming_with_Cut/Schneider_Kamp_08/divminus.pl 5159302 YES 5.74/2.22
Logic_Programming_with_Cut/Stroeder_09/divremain2.pl 5159191 run script error [out]
Logic_Programming_with_Cut/Stroeder_09/cutpos1.pl 5159192 YES 3.41/1.56
Logic_Programming_with_Cut/Stroeder_09/num2.pl 5159193 YES 3.55/1.59
Logic_Programming_with_Cut/Stroeder_09/map.pl 5159195 YES 4.14/1.80
Logic_Programming_with_Cut/Stroeder_09/plumer356.pl 5159196 MAYBE 5.85/2.28
Logic_Programming_with_Cut/Stroeder_09/divremain.pl 5159197 YES 6.72/2.47
Logic_Programming_with_Cut/Stroeder_09/len2.pl 5159198 YES 3.78/1.66
Logic_Programming_with_Cut/Stroeder_09/giesl97.pl 5159199 YES 4.95/2.06
Logic_Programming_with_Cut/Stroeder_09/ts03.pl 5159200 MAYBE 5.77/2.35
Logic_Programming_with_Cut/Stroeder_09/add1.pl 5159201 YES 3.79/1.66
Logic_Programming_with_Cut/Stroeder_09/dependency2.pl 5159202 YES 4.85/2.01
Logic_Programming_with_Cut/Stroeder_09/flatten.pl 5159203 MAYBE 8.93/3.19
Logic_Programming_with_Cut/Stroeder_09/btree2.pl 5159204 YES 4.87/2.26
Logic_Programming_with_Cut/Stroeder_09/vlcnd.pl 5159205 MAYBE 79.08/20.78
Logic_Programming_with_Cut/Stroeder_09/lte1.pl 5159206 YES 3.65/1.67
Logic_Programming_with_Cut/Stroeder_09/lte2.pl 5159207 YES 3.76/2.28
Logic_Programming_with_Cut/Stroeder_09/confdel.pl 5159208 YES 8.58/4.06
Logic_Programming_with_Cut/Stroeder_09/prime_fact.pl 5159209 MAYBE 988.82/249.42
Logic_Programming_with_Cut/Stroeder_09/countstack2.pl 5159210 YES 4.24/1.79
Logic_Programming_with_Cut/Stroeder_09/rev.pl 5159211 YES 5.47/2.22
Logic_Programming_with_Cut/Stroeder_09/app2.pl 5159213 MAYBE 8.88/3.10
Logic_Programming_with_Cut/Stroeder_09/countstack.pl 5159214 YES 4.94/2.01
Logic_Programming_with_Cut/Stroeder_09/times1.pl 5159215 MAYBE 14.47/4.52
Logic_Programming_with_Cut/Stroeder_09/fold2.pl 5159216 YES 4.07/1.78
Logic_Programming_with_Cut/Stroeder_09/len.pl 5159217 YES 3.91/1.80
Logic_Programming_with_Cut/Stroeder_09/tree2.pl 5159219 YES 3.99/1.69
Logic_Programming_with_Cut/Stroeder_09/btree.pl 5159220 YES 4.88/1.96
Logic_Programming_with_Cut/Stroeder_09/dependency.pl 5159221 YES 5.02/2.01
Logic_Programming_with_Cut/Stroeder_09/select1.pl 5159222 YES 4.47/2.54
Logic_Programming_with_Cut/Stroeder_09/list2.pl 5159223 YES 3.40/1.59
Logic_Programming_with_Cut/Stroeder_09/overlap1.pl 5159224 YES 4.62/1.90
Logic_Programming_with_Cut/Stroeder_09/plumer453a.pl 5159225 YES 3.35/1.55
Logic_Programming_with_Cut/Stroeder_09/blist.pl 5159226 YES 4.91/2.01
Logic_Programming_with_Cut/Stroeder_09/gopher2.pl 5159227 YES 4.08/2.67
Logic_Programming_with_Cut/Stroeder_09/cutpos2.pl 5159230 MAYBE 5.51/3.03
Logic_Programming_with_Cut/Stroeder_09/ordered2.pl 5159231 MAYBE 9.47/3.32
Logic_Programming_with_Cut/Stroeder_09/blist2.pl 5159232 YES 4.08/1.73
Logic_Programming_with_Cut/Stroeder_09/rev2.pl 5159233 YES 5.35/2.11
Logic_Programming_with_Cut/Stroeder_09/transpose1.pl 5159234 YES 39.76/11.24
Logic_Programming_with_Cut/Stroeder_09/average1.pl 5159236 MAYBE 32.07/8.83
Logic_Programming_with_Cut/Stroeder_09/inorder-oi.pl 5159237 YES 6.54/2.39
Logic_Programming_with_Cut/Stroeder_09/app3.pl 5159238 YES 3.99/2.75
Logic_Programming_with_Cut/Stroeder_09/less.pl 5159239 YES 3.95/1.71
Logic_Programming_with_Cut/Stroeder_09/list.pl 5159240 YES 3.88/1.70
Logic_Programming_with_Cut/Stroeder_09/add2.pl 5159241 MAYBE 8.41/3.06
Logic_Programming_with_Cut/Stroeder_09/quot2.pl 5159242 YES 6.21/2.32
Logic_Programming_with_Cut/Stroeder_09/fold3.pl 5159243 YES 4.35/1.86
Logic_Programming_with_Cut/Stroeder_09/overlap2.pl 5159244 YES 3.97/1.71
Logic_Programming_with_Cut/Stroeder_09/subset-oi.pl 5159245 MAYBE 387.07/108.29
Logic_Programming_with_Cut/Stroeder_09/gopher1.pl 5159246 YES 3.92/1.71
Logic_Programming_with_Cut/Stroeder_09/btapplast.pl 5159247 YES 9.66/3.32
Logic_Programming_with_Cut/Stroeder_09/ordered.pl 5159248 YES 5.41/2.09
Logic_Programming_with_Cut/Stroeder_09/duplicate2.pl 5159249 YES 4.00/1.75
Logic_Programming_with_Cut/Stroeder_09/add3.pl 5159252 YES 3.81/1.72
Logic_Programming_with_Cut/Stroeder_09/applast.pl 5159253 YES 6.60/2.55
Logic_Programming_with_Cut/Stroeder_09/divminus2.pl 5159254 YES 5.77/2.51
Logic_Programming_with_Cut/Stroeder_09/bappend.pl 5159255 YES 4.77/1.99
Logic_Programming_with_Cut/Stroeder_09/mul1.pl 5159256 YES 4.88/1.97
Logic_Programming_with_Cut/Stroeder_09/plumer453b.pl 5159257 YES 3.52/1.60
Logic_Programming_with_Cut/Stroeder_09/quot1.pl 5159258 YES 7.87/2.73
Logic_Programming_with_Cut/Stroeder_09/plumer453c.pl 5159259 YES 3.43/1.57
Logic_Programming_with_Cut/Stroeder_09/lessleaves.pl 5159260 MAYBE 25.90/9.58
Logic_Programming_with_Cut/Stroeder_09/evenodd1.pl 5159261 YES 3.56/1.61
Logic_Programming_with_Cut/Stroeder_09/fold1.pl 5159262 YES 3.75/1.66
Logic_Programming_with_Cut/Stroeder_09/btappend.pl 5159263 YES 8.48/3.07
Logic_Programming_with_Cut/Stroeder_09/num.pl 5159264 YES 3.97/1.81
Logic_Programming_with_Cut/Stroeder_09/evenodd2.pl 5159265 YES 4.34/1.90
Logic_Programming_with_Cut/Stroeder_09/ordered3.pl 5159266 YES 5.10/2.01
Prolog/prolog_mixed/gtsolve.pl 5154710 YES 3.23/1.53
Prolog/prolog_mixed/curry_ap.pl 5154711 MAYBE 5.26/2.19
Prolog/prolog_mixed/tautology.pl 5154712 YES 69.68/18.70
Prolog/prolog_mixed/quicksort.pl 5154713 YES 10.22/3.35
Prolog/prolog_mixed/taboch_queens.pl 5154714 YES 6.99/2.61
Prolog/prolog_mixed/mergesort_ap_variant.pl 5154715 MAYBE 63.27/17.42
Prolog/prolog_mixed/permute2.pl 5154716 YES 5.04/2.05
Prolog/prolog_mixed/psk09-cycle.pl 5154717 timeout (wallclock) [out]
Prolog/prolog_mixed/numbervars.pl 5154718 MAYBE 3.53/1.59
Prolog/prolog_mixed/hanoi.pl 5154719 MAYBE 1167.90/293.43
Prolog/prolog_mixed/fib.pl 5154720 YES 4.73/1.91
Prolog/prolog_mixed/psk09-distance.pl 5154721 MAYBE 13.13/4.22
Prolog/prolog_mixed/fib-oi.pl 5154722 YES 4.58/1.88
Prolog/prolog_mixed/dc_schema.pl 5154723 YES 3.43/2.37
Prolog/prolog_mixed/mergesort.pl 5154724 YES 13.56/4.55
Prolog/prolog_mixed/kay4.pl 5154725 YES 3.51/1.61
Prolog/prolog_mixed/factorial.pl 5154726 YES 3.53/1.67
Prolog/prolog_mixed/primes.pl 5154727 timeout (wallclock) [out]
Prolog/prolog_mixed/terminweb_queens.pl 5154728 YES 6.66/2.42
Prolog/prolog_mixed/totient.pl 5154729 YES 8.83/3.01
Prolog/Hett/p1_11.pl 5154509 MAYBE 23.22/7.72
Prolog/Hett/p2_06.pl 5154510 timeout (wallclock) [out]
Prolog/Hett/p2_02.pl 5154511 timeout (wallclock) [out]
Prolog/Hett/p2_10.pl 5154512 timeout (wallclock) [out]
Prolog/Hett/p1_13.pl 5154513 MAYBE 6.50/2.38
Prolog/Hett/p1_16.pl 5154514 YES 5.08/1.99
Prolog/Hett/p2_07.pl 5154515 YES 5.82/2.28
Prolog/Hett/p2_03.pl 5154516 timeout (wallclock) [out]
Prolog/Hett/p1_27_b.pl 5154517 YES 8.58/2.96
Prolog/Hett/p1_12.pl 5154518 YES 15.42/4.83
Prolog/Hett/p1_03.pl 5154519 YES 4.25/1.76
Prolog/Hett/p1_28_a.pl 5154520 YES 4.77/1.99
Prolog/Hett/p1_20.pl 5154521 YES 4.21/1.78
Prolog/Hett/p2_01.pl 5154522 YES 3.43/1.60
Prolog/Hett/p1_17.pl 5154523 YES 4.12/1.77
Prolog/Hett/p2_08.pl 5154524 YES 6.10/2.40
Prolog/Hett/p1_27_a.pl 5154525 YES 8.58/3.03
Prolog/Hett/p1_04.pl 5154526 YES 4.03/1.74
Prolog/Hett/p2_09.pl 5154527 YES 11.11/3.64
Prolog/Hett/p2_05.pl 5154528 timeout (wallclock) [out]
Prolog/Hett/p1_19.pl 5154529 YES 3.44/1.57
Prolog/Hett/p1_22.pl 5154530 YES 5.75/2.29
Prolog/Hett/p1_18.pl 5154531 YES 4.73/1.92
Prolog/Hett/p1_15.pl 5154532 YES 5.19/2.05
Prolog/Hett/p1_21.pl 5154533 YES 4.29/1.81
Prolog/Hett/p2_04.pl 5154534 timeout (wallclock) [out]
Prolog/Weinert_15/ackermann.pl 5154555 YES 8.12/2.86
Prolog/Weinert_15/is.pl 5154556 MAYBE 8.38/2.93
Prolog/Weinert_15/double-is.pl 5154557 YES 3.81/1.70
Prolog/Weinert_15/division-nonterm.pl 5154558 MAYBE 12.83/5.21
Prolog/Weinert_15/descend.pl 5154559 YES 6.19/2.40
Prolog/Weinert_15/ackermann-cut.pl 5154560 YES 5.05/1.98
Prolog/Weinert_15/factorial_or.pl 5154561 MAYBE 20.70/6.44
Prolog/Weinert_15/double.pl 5154562 YES 3.87/1.70
Prolog/Weinert_15/division.pl 5154563 MAYBE 17.23/5.38
Prolog/Weinert_15/prime.pl 5154564 YES 4.27/1.84
Prolog/Weinert_15/sumrecursive.pl 5154565 YES 8.75/2.96
Prolog/Weinert_15/fibonacci.pl 5154566 YES 12.64/4.03
Prolog/Weinert_15/extend.pl 5154567 YES 8.34/2.94
Prolog/Weinert_15/fib-cut.pl 5154568 YES 4.51/1.91
Prolog/Weinert_15/vector.pl 5154569 MAYBE 9.42/3.15
Prolog/Weinert_15/descend-nonterm.pl 5154570 MAYBE 7.14/3.07
Prolog/Weinert_15/sum.pl 5154571 YES 3.35/1.60
Prolog/Weinert_15/get-from-list-cut.pl 5154572 MAYBE 15.57/5.19
Prolog/Weinert_15/factorial_and.pl 5154573 YES 7.63/2.80
Prolog/Weinert_15/frac-reduce.pl 5154574 MAYBE 701.90/192.47
Prolog/Weinert_15/get-from-list.pl 5154575 MAYBE 25.21/8.99
Prolog/Weinert_15/factorial.pl 5154576 YES 6.78/2.49
Prolog/talp_maria/serialize.pl 5154659 YES 12.79/4.07
Prolog/talp_maria/mmatrix.pl 5154660 YES 5.18/2.07
Prolog/talp_maria/read.pl 5154661 MAYBE 4.10/1.86
Prolog/talp_maria/grammar2.pl 5154662 YES 3.89/1.72
Prolog/talp_maria/bid.pl 5154663 MAYBE 5.90/2.21
Prolog/talp_maria/grammar.pl 5154664 YES 3.97/1.72
Prolog/talp_maria/qsortapp.pl 5154665 YES 9.47/3.36
Prolog/talp_maria/progeom.pl 5154666 MAYBE 67.86/18.05
Prolog/talp_maria/hanoiapp.pl 5154667 YES 7.00/2.64
Prolog/talp_maria/fib.pl 5154668 YES 6.15/2.36
Prolog/talp_maria/tak.pl 5154669 YES 4.68/1.90
Prolog/talp_maria/deriv.pl 5154670 YES 3.50/1.59
Prolog/talp_maria/boyer.pl 5154671 MAYBE 4.67/1.99
Prolog/talp_maria/qplan.pl 5154672 YES 4.60/1.96
Prolog/talp_maria/occur.pl 5154673 MAYBE 4.62/1.91
Prolog/talp_maria/aiakl.pl 5154674 MAYBE 4.06/1.85
Prolog/talp_maria/rdtok.pl 5154675 MAYBE 4.71/2.06
Prolog/talp_maria/query.pl 5154676 YES 3.93/1.78
Prolog/talp_maria/warplan.pl 5154677 run script error [out]
Prolog/talp_maria/deriv-oii.pl 5154678 YES 3.58/1.62
Prolog/talp_maria/money.pl 5154679 YES 7.68/2.67
Prolog/talp_maria/ann.pl 5154680 MAYBE 4.83/2.11
Prolog/talp_maria/tictactoe.pl 5154681 MAYBE 5.25/2.21
Prolog/talp_maria/peephole.pl 5154682 MAYBE 5.26/2.11
Prolog/talp_maria/browse.pl 5154683 MAYBE 4.16/1.82
Logic_Programming/lpexamples/ackermann.pl 5154399 YES 4.64/1.99
Logic_Programming/lpexamples/log2a.pl 5154400 YES 7.64/3.36
Logic_Programming/lpexamples/lategen.pl 5154401 YES 3.80/1.71
Logic_Programming/lpexamples/log2a-oi.pl 5154402 MAYBE 9.80/3.70
Logic_Programming/lpexamples/ackermann-ioi.pl 5154403 MAYBE 17.30/5.47
Logic_Programming/lpexamples/mapcolor.pl 5154404 MAYBE 31.61/8.99
Logic_Programming/lpexamples/shapes.pl 5154405 YES 10.30/3.43
Logic_Programming/lpexamples/mergesort-oi.pl 5154406 MAYBE 19.13/5.71
Logic_Programming/lpexamples/ts08.pl 5154407 YES 3.87/1.74
Logic_Programming/lpexamples/log2b-oi.pl 5154408 MAYBE 63.57/19.83
Logic_Programming/lpexamples/average.pl 5154409 YES 4.87/2.06
Logic_Programming/lpexamples/average-ioi.pl 5154410 YES 3.96/1.73
Logic_Programming/lpexamples/mergesort.pl 5154411 YES 13.10/4.25
Logic_Programming/lpexamples/log2b.pl 5154412 YES 4.70/2.97
Logic_Programming/BCGGV05/p_nonlin.pl 5154227 YES 10.40/3.49
Logic_Programming/BCGGV05/minimum-fb.pl 5154228 MAYBE 6.19/2.36
Logic_Programming/BCGGV05/tree.pl 5154229 YES 3.72/1.70
Logic_Programming/BCGGV05/insert-bbf.pl 5154230 YES 4.11/1.71
Logic_Programming/BCGGV05/g.pl 5154231 YES 4.25/1.78
Logic_Programming/BCGGV05/select-bff.pl 5154232 MAYBE 6.13/3.54
Logic_Programming/BCGGV05/search_tree.pl 5154233 YES 5.53/2.17
Logic_Programming/BCGGV05/maximum-bff.pl 5154234 YES 3.81/1.67
Logic_Programming/BCGGV05/frontier-fb.pl 5154235 MAYBE 9.38/3.20
Logic_Programming/BCGGV05/member-fb.pl 5154236 YES 3.72/1.65
Logic_Programming/BCGGV05/minimum-bf.pl 5154237 YES 4.11/1.82
Logic_Programming/BCGGV05/delete-bbf.pl 5154238 YES 5.41/2.11
Logic_Programming/BCGGV05/flatlength-ffb.pl 5154239 MAYBE 7.68/2.75
Logic_Programming/BCGGV05/frontier-bf.pl 5154240 YES 4.39/1.98
Logic_Programming/BCGGV05/slowsort-fb.pl 5154241 MAYBE 10.86/3.73
Logic_Programming/BCGGV05/palindrome.pl 5154242 YES 4.01/1.72
Logic_Programming/BCGGV05/suffix-bf.pl 5154243 MAYBE 6.35/2.71
Logic_Programming/BCGGV05/insert-ffb.pl 5154244 YES 5.66/2.19
Logic_Programming/BCGGV05/slowsort-bf.pl 5154245 YES 7.04/2.53
Logic_Programming/BCGGV05/ackerman.pl 5154246 YES 3.93/1.71
Logic_Programming/BCGGV05/tree_member-fb.pl 5154247 YES 3.65/1.64
Logic_Programming/BCGGV05/flatlength-bbf.pl 5154248 YES 4.07/1.77
Logic_Programming/BCGGV05/delete-fbf.pl 5154249 YES 5.90/2.31
Logic_Programming/BCGGV05/flatlength-fbf.pl 5154251 MAYBE 8.51/2.95
Logic_Programming/BCGGV05/inorder-fb.pl 5154252 MAYBE 8.95/3.06
Logic_Programming/BCGGV05/insert-bfb.pl 5154253 YES 4.74/1.98
Logic_Programming/BCGGV05/prefix-bf.pl 5154254 YES 3.87/1.72
Logic_Programming/BCGGV05/append-ffb.pl 5154255 YES 3.74/1.64
Logic_Programming/BCGGV05/insert-bff.pl 5154256 MAYBE 28.06/10.44
Logic_Programming/BCGGV05/permutation-fb.pl 5154257 MAYBE 8.05/2.87
Logic_Programming/BCGGV05/in-fb.pl 5154258 YES 6.26/2.32
Logic_Programming/BCGGV05/delete-ffb.pl 5154259 YES 5.76/2.21
Logic_Programming/BCGGV05/subset-bf.pl 5154261 MAYBE 7.62/2.81
Logic_Programming/BCGGV05/append-bff.pl 5154262 YES 3.65/1.66
Logic_Programming/BCGGV05/mult.pl 5154263 YES 4.54/1.87
Logic_Programming/BCGGV05/inorder-bf.pl 5154265 YES 4.48/1.88
Logic_Programming/BCGGV05/transpose-bb.pl 5154266 YES 4.77/2.00
Logic_Programming/BCGGV05/permutation-bf.pl 5154267 YES 5.11/2.06
Logic_Programming/BCGGV05/reverse-bf.pl 5154268 YES 4.30/1.75
Logic_Programming/BCGGV05/maximum-ffb.pl 5154269 YES 3.76/1.67
Logic_Programming/BCGGV05/reverse-fb.pl 5154270 MAYBE 6.98/2.54
Logic_Programming/BCGGV05/less-fb.pl 5154272 YES 3.68/1.64
Logic_Programming/BCGGV05/map_color.pl 5154274 YES 3.63/1.72
Logic_Programming/BCGGV05/suffix-fb.pl 5154275 YES 3.71/1.67
Logic_Programming/BCGGV05/flat-fb.pl 5154276 MAYBE 8.15/2.99
Logic_Programming/BCGGV05/delmin-ffb.pl 5154277 YES 3.80/1.67
Logic_Programming/BCGGV05/less-bf.pl 5154278 YES 3.56/1.63
Logic_Programming/BCGGV05/delmin-bff.pl 5154279 YES 4.05/1.77
Logic_Programming/BCGGV05/subset-fb.pl 5154280 MAYBE 8.61/3.02
Logic_Programming/BCGGV05/der-fb.pl 5154281 MAYBE 70.04/18.55
Logic_Programming/BCGGV05/list.pl 5154282 YES 3.77/1.70
Logic_Programming/BCGGV05/select-fbf.pl 5154283 YES 3.87/1.73
Logic_Programming/BCGGV05/quicksort-bf.pl 5154284 YES 8.33/2.98
Logic_Programming/BCGGV05/sum-ffb.pl 5154285 YES 3.48/1.62
Logic_Programming/BCGGV05/ordered.pl 5154287 YES 5.69/3.33
Logic_Programming/BCGGV05/select-ffb.pl 5154288 YES 3.70/1.63
Logic_Programming/BCGGV05/length1.pl 5154289 YES 4.22/2.11
Logic_Programming/BCGGV05/flatlength-bfb.pl 5154291 YES 3.76/1.73
Logic_Programming/BCGGV05/member-bf.pl 5154292 MAYBE 6.30/2.31
Logic_Programming/BCGGV05/mergesort.pl 5154294 MAYBE 23.65/6.96
Logic_Programming/BCGGV05/sublist-fb.pl 5154296 YES 4.02/1.77
Logic_Programming/BCGGV05/t.pl 5154297 YES 5.33/2.09
Logic_Programming/BCGGV05/naive_reverse-fb.pl 5154298 MAYBE 6.34/2.40
Logic_Programming/BCGGV05/permutation1-fb.pl 5154299 YES 4.91/1.95
Logic_Programming/BCGGV05/transpose-fb.pl 5154300 YES 7.48/2.81
Logic_Programming/BCGGV05/tree_member-bf.pl 5154301 MAYBE 6.65/2.49
Logic_Programming/BCGGV05/quicksort-fb.pl 5154302 MAYBE 59.74/16.05
Logic_Programming/BCGGV05/parse.pl 5154303 YES 7.14/2.56
Logic_Programming/BCGGV05/flatlength-bff.pl 5154304 YES 3.94/1.71
Logic_Programming/BCGGV05/insert-fbf.pl 5154306 YES 5.48/2.23
Logic_Programming/BCGGV05/transpose-bf.pl 5154307 YES 4.34/1.90
Logic_Programming/BCGGV05/numeral.pl 5154308 YES 3.62/1.63
Logic_Programming/BCGGV05/in-bf.pl 5154309 MAYBE 36.10/10.35
Logic_Programming/BCGGV05/delete-bff.pl 5154310 MAYBE 32.46/9.15
Logic_Programming/BCGGV05/slowsort-bb.pl 5154311 YES 6.16/2.32
Logic_Programming/talp_apt/map.pl 5154347 YES 3.75/1.66
Logic_Programming/talp_apt/append.pl 5154348 YES 3.79/1.67
Logic_Programming/talp_apt/map1.pl 5154349 YES 3.74/1.65
Logic_Programming/talp_apt/quicksort.pl 5154350 YES 8.98/3.18
Logic_Programming/talp_apt/naive_rev-oi.pl 5154351 MAYBE 7.44/2.68
Logic_Programming/talp_apt/naive_rev.pl 5154352 run script error [out]
Logic_Programming/talp_apt/quicksort-oi.pl 5154353 timeout (wallclock) [out]
Logic_Programming/talp_apt/select1.pl 5154354 YES 4.39/1.83
Logic_Programming/talp_apt/member.pl 5154355 YES 3.58/1.61
Logic_Programming/talp_apt/select.pl 5154356 YES 3.70/1.67
Logic_Programming/talp_apt/sum.pl 5154357 YES 3.91/1.75
Logic_Programming/talp_apt/SS_map_t.pl 5154358 MAYBE 27.99/7.94
Logic_Programming/talp_apt/SS_map.pl 5154359 MAYBE 32.11/8.95
Logic_Programming/talp_apt/mergesort_ap.pl 5154360 YES 18.84/5.53
Logic_Programming/talp_apt/subset1.pl 5154361 MAYBE 8.24/2.87
Logic_Programming/talp_apt/fold.pl 5154362 YES 3.99/1.77
Logic_Programming/talp_apt/list.pl 5154363 YES 3.90/1.79
Logic_Programming/talp_apt/SS_map_out.pl 5154364 MAYBE 27.68/7.93
Logic_Programming/talp_apt/overlap.pl 5154365 YES 4.26/1.85
Logic_Programming/talp_apt/subset.pl 5154366 YES 4.02/1.73
Logic_Programming/talp_apt/ordered.pl 5154367 YES 4.83/1.98
Logic_Programming/talp_apt/permutation.pl 5154368 YES 5.39/2.13
Logic_Programming/talp_apt/mergesort.pl 5154369 YES 18.44/5.71
Logic_Programming/SGST06/ackermann.pl 5154413 YES 4.19/1.80
Logic_Programming/SGST06/p_nonlin.pl 5154414 YES 9.07/3.07
Logic_Programming/SGST06/plus.pl 5154415 YES 3.85/1.69
Logic_Programming/SGST06/transpose2.pl 5154416 MAYBE 6.80/2.57
Logic_Programming/SGST06/snake.pl 5154417 timeout (wallclock) [out]
Logic_Programming/SGST06/giesl97.pl 5154418 YES 4.58/1.89
Logic_Programming/SGST06/ifminus.pl 5154419 YES 5.26/2.06
Logic_Programming/SGST06/avg-bfb.pl 5154420 YES 3.84/1.67
Logic_Programming/SGST06/times.pl 5154421 YES 3.95/1.70
Logic_Programming/SGST06/paper2.pl 5154422 YES 4.19/2.28
Logic_Programming/SGST06/csnake.pl 5154423 timeout (wallclock) [out]
Logic_Programming/SGST06/flatten.pl 5154424 YES 4.62/1.98
Logic_Programming/SGST06/toyama.pl 5154425 YES 3.39/1.70
Logic_Programming/SGST06/palindrome.pl 5154426 run script error [out]
Logic_Programming/SGST06/weight.pl 5154427 YES 6.77/2.44
Logic_Programming/SGST06/flatten_phd.pl 5154428 YES 6.68/2.53
Logic_Programming/SGST06/quot.pl 5154429 YES 4.16/1.77
Logic_Programming/SGST06/pplus.pl 5154430 YES 3.63/1.65
Logic_Programming/SGST06/log.pl 5154431 YES 4.79/1.97
Logic_Programming/SGST06/p.pl 5154432 YES 11.28/3.65
Logic_Programming/SGST06/at.pl 5154434 YES 3.26/1.59
Logic_Programming/SGST06/prime.pl 5154436 YES 12.42/3.93
Logic_Programming/SGST06/rev.pl 5154437 YES 9.14/3.25
Logic_Programming/SGST06/preorder.pl 5154438 YES 3.95/1.72
Logic_Programming/SGST06/countstack.pl 5154439 YES 4.59/1.90
Logic_Programming/SGST06/mapcolor.pl 5154440 MAYBE 30.76/8.58
Logic_Programming/SGST06/evenodd.pl 5154441 YES 3.83/1.75
Logic_Programming/SGST06/avg.pl 5154443 YES 4.72/2.00
Logic_Programming/SGST06/cconfdel.pl 5154445 YES 6.11/2.34
Logic_Programming/SGST06/pplus2.pl 5154446 YES 4.79/1.95
Logic_Programming/SGST06/factor.pl 5154447 YES 6.20/2.33
Logic_Programming/SGST06/blist.pl 5154448 YES 4.12/1.78
Logic_Programming/SGST06/incomplete.pl 5154449 YES 3.88/1.78
Logic_Programming/SGST06/ag01.pl 5154450 YES 4.66/1.98
Logic_Programming/SGST06/cnfequiv.pl 5154451 YES 8.75/2.98
Logic_Programming/SGST06/ifdiv.pl 5154452 MAYBE 134.34/39.19
Logic_Programming/SGST06/shuffle.pl 5154453 YES 5.41/2.18
Logic_Programming/SGST06/incomplete2.pl 5154454 YES 3.75/1.66
Logic_Programming/SGST06/hbal_tree.pl 5154455 YES 5.77/2.24
Logic_Programming/SGST06/intlist.pl 5154456 YES 4.10/1.71
Logic_Programming/SGST06/paper1.pl 5154458 YES 4.06/1.78
Logic_Programming/SGST06/btapplast.pl 5154459 YES 5.00/2.02
Logic_Programming/SGST06/convert.pl 5154461 YES 5.52/2.11
Logic_Programming/SGST06/psk09-maxsort-bool-nocut.pl 5154462 YES 493.42/130.17
Logic_Programming/SGST06/psk09-append_variant.pl 5154463 MAYBE 6.45/2.45
Logic_Programming/SGST06/applast.pl 5154464 YES 4.82/2.02
Logic_Programming/SGST06/bappend.pl 5154465 YES 4.09/1.80
Logic_Programming/SGST06/transpose-fb.pl 5154466 YES 6.75/2.45
Logic_Programming/SGST06/parse.pl 5154467 YES 5.66/2.20
Logic_Programming/SGST06/lessleaves.pl 5154470 YES 5.44/2.18
Logic_Programming/SGST06/times2.pl 5154471 YES 6.55/2.48
Logic_Programming/SGST06/incomplete_variant.pl 5154472 YES 3.34/1.56
Logic_Programming/terminweb_old/interleave.pl 5154209 YES 3.76/1.80
Logic_Programming/terminweb_old/permutation2.pl 5154210 YES 4.87/1.96
Logic_Programming/terminweb_old/subset-no.pl 5154211 MAYBE 8.75/3.12
Logic_Programming/terminweb_old/untupled_bal_tree.pl 5154212 YES 4.85/2.01
Logic_Programming/terminweb_old/sublist0.pl 5154213 YES 4.29/1.84
Logic_Programming/terminweb_old/ackerman.pl 5154214 YES 4.44/1.91
Logic_Programming/terminweb_old/inorder.pl 5154215 YES 4.44/1.97
Logic_Programming/terminweb_old/rotate.pl 5154216 YES 4.17/1.79
Logic_Programming/terminweb_old/sublist.pl 5154217 YES 3.80/1.70
Logic_Programming/terminweb_old/sameleaves.pl 5154218 YES 6.64/2.47
Logic_Programming/terminweb_old/reach.pl 5154219 YES 8.33/2.96
Logic_Programming/terminweb_old/subset.pl 5154220 YES 3.92/1.72
Logic_Programming/terminweb_old/append3-bis.pl 5154221 YES 3.87/1.73
Logic_Programming/terminweb_old/permutation1.pl 5154222 run script error [out]
Logic_Programming/terminweb_old/balance_tree.pl 5154223 YES 4.18/1.79
Logic_Programming/terminweb_old/balance_tree2.pl 5154224 MAYBE 8.82/3.05
Logic_Programming/terminweb_old/sublist_bad.pl 5154225 MAYBE 7.25/2.62
Logic_Programming/terminweb_old/append3.pl 5154226 YES 4.08/1.76
Logic_Programming/terminweb_new/NJ5.pl 5154313 YES 4.29/1.95
Logic_Programming/terminweb_new/type-based_append.pl 5154314 YES 3.78/1.63
Logic_Programming/terminweb_new/preorder_dl.pl 5154315 YES 3.94/1.76
Logic_Programming/terminweb_new/NJ6.pl 5154316 YES 4.33/1.83
Logic_Programming/terminweb_new/ways.pl 5154317 YES 17.45/5.48
Logic_Programming/terminweb_new/NJ3.pl 5154318 YES 4.09/1.74
Logic_Programming/terminweb_new/som.pl 5154319 YES 3.76/1.63
Logic_Programming/terminweb_new/transpose.pl 5154320 YES 4.78/1.93
Logic_Programming/terminweb_new/NJ1.pl 5154321 YES 4.04/1.74
Logic_Programming/terminweb_new/NJ2.pl 5154322 YES 3.57/1.66
Logic_Programming/terminweb_new/append-ooi.pl 5154323 YES 3.72/1.63
Logic_Programming/terminweb_new/backwards_append.pl 5154324 YES 3.90/1.76
Logic_Programming/terminweb_new/NJ4.pl 5154325 YES 4.26/1.86
Logic_Programming/terminweb_new/basic_append.pl 5154326 YES 3.89/1.70
Logic_Programming/terminweb_new/der.pl 5154327 YES 7.90/2.72
Logic_Programming_with_Cut/AProVE_10_cut/lateinst.pl 5159267 YES 3.60/1.82
Logic_Programming_with_Cut/AProVE_10_cut/latesplit.pl 5159268 YES 3.77/1.75
Logic_Programming_with_Cut/AProVE_10_cut/ts10.pl 5159269 MAYBE 6.01/2.30
Logic_Programming_with_Cut/AProVE_10_cut/ts06.pl 5159270 MAYBE 5.23/2.12
Logic_Programming_with_Cut/AProVE_10_cut/ts09.pl 5159271 YES 3.59/1.63
Logic_Programming_with_Cut/AProVE_10_cut/ts07.pl 5159272 MAYBE 4.96/2.05
Logic_Programming_with_Cut/AProVE_10_cut/ts04.pl 5159273 YES 4.13/1.82
Logic_Programming_with_Cut/AProVE_10_cut/ts05.pl 5159274 YES 3.42/1.56
Logic_Programming/talp_mixed/flat.pl 5154328 YES 5.38/2.11
Logic_Programming/talp_mixed/hanoiapp.suc.pl 5154329 YES 8.59/2.93
Logic_Programming/talp_mixed/permute1.pl 5154330 YES 4.95/2.03
Logic_Programming/talp_mixed/reverse.pl 5154331 YES 4.12/1.78
Logic_Programming/talp_mixed/sicstus1.pl 5154332 YES 3.80/1.68
Logic_Programming/talp_mixed/p.pl 5154333 YES 3.90/1.70
Logic_Programming/talp_mixed/queens.pl 5154334 YES 8.68/3.12
Logic_Programming/talp_mixed/sublist1.pl 5154335 YES 4.03/1.78
Logic_Programming/talp_mixed/flat-oi.pl 5154336 MAYBE 7.64/2.75
Logic_Programming/talp_mixed/rotate.pl 5154337 YES 4.02/1.74
Logic_Programming/talp_mixed/qicksort.pl 5154338 YES 9.46/3.28
Logic_Programming/talp_mixed/sublist.pl 5154339 YES 4.21/1.84
Logic_Programming/talp_mixed/sameleaves.pl 5154340 YES 5.58/2.17
Logic_Programming/talp_mixed/zebra.pl 5154341 YES 5.87/2.36
Logic_Programming/talp_mixed/bad_sublist.pl 5154342 MAYBE 7.04/3.13
Logic_Programming/talp_mixed/fib_t.pl 5154343 YES 4.11/1.79
Logic_Programming/talp_mixed/mergesort.pl 5154344 YES 16.31/4.95
Logic_Programming/talp_mixed/ack.pl 5154345 YES 4.12/1.73
Logic_Programming/talp_mixed/perm.pl 5154346 YES 5.47/2.13
Logic_Programming/talp_dds/append.pl 5154499 YES 3.72/1.64
Logic_Programming/talp_dds/duplicate.pl 5154500 YES 3.97/1.74
Logic_Programming/talp_dds/reverse.pl 5154501 run script error [out]
Logic_Programming/talp_dds/permute.pl 5154502 YES 4.88/2.06
Logic_Programming/talp_dds/reverse-iio.pl 5154503 YES 3.88/1.74
Logic_Programming/talp_dds/dis_con.pl 5154504 YES 4.02/1.75
Logic_Programming/talp_dds/sum.pl 5154505 YES 4.65/1.93
Logic_Programming/talp_dds/dis_con-bis.pl 5154506 YES 4.28/1.87
Logic_Programming/talp_dds/merge.pl 5154507 YES 6.82/2.66
Logic_Programming/talp_dds/sum-ioi.pl 5154508 YES 3.92/1.74
Logic_Programming/talp_talp/binary3.pl 5154474 YES 7.12/2.58
Logic_Programming/talp_talp/binary4.pl 5154475 MAYBE 18.98/5.92
Logic_Programming/talp_talp/flat.pl 5154476 YES 4.31/1.84
Logic_Programming/talp_talp/binary.pl 5154477 YES 6.64/2.48
Logic_Programming/talp_talp/append.pl 5154478 YES 3.77/1.65
Logic_Programming/talp_talp/normal.pl 5154479 YES 5.07/2.04
Logic_Programming/talp_talp/transitive_closure.pl 5154480 YES 3.75/1.71
Logic_Programming/talp_talp/palindrome.pl 5154481 YES 3.89/1.68
Logic_Programming/talp_talp/example4-2.pl 5154482 MAYBE 6.39/2.35
Logic_Programming/talp_talp/evaluate.pl 5154483 YES 6.64/2.43
Logic_Programming/talp_talp/reminder-ioi.pl 5154484 YES 8.64/2.97
Logic_Programming/talp_talp/permute.pl 5154485 YES 5.26/2.06
Logic_Programming/talp_talp/example4.pl 5154486 YES 3.95/1.88
Logic_Programming/talp_talp/simple.pl 5154487 YES 3.41/1.84
Logic_Programming/talp_talp/slowsort.pl 5154488 YES 6.62/2.44
Logic_Programming/talp_talp/slowsort-oi.pl 5154489 MAYBE 10.15/3.46
Logic_Programming/talp_talp/qsort.pl 5154490 YES 10.95/3.88
Logic_Programming/talp_talp/example1.pl 5154491 YES 3.36/1.56
Logic_Programming/talp_talp/gcd.pl 5154492 YES 7.26/2.62
Logic_Programming/talp_talp/reminder.pl 5154493 YES 6.56/2.46
Logic_Programming/talp_talp/div.pl 5154495 YES 6.01/2.28
Logic_Programming/talp_talp/binary2.pl 5154497 YES 6.90/2.53
Logic_Programming/talp_talp/perm.pl 5154498 YES 5.86/2.32
Logic_Programming/talp_plumer/pl6.1.1.pl 5154371 YES 10.82/3.50
Logic_Programming/talp_plumer/pl5.2.2.pl 5154372 run script error [out]
Logic_Programming/talp_plumer/pl1.2.pl 5154373 YES 5.98/2.29
Logic_Programming/talp_plumer/pl7.6.2b.pl 5154374 MAYBE 167.71/42.88
Logic_Programming/talp_plumer/pl8.3.1.pl 5154375 run script error [out]
Logic_Programming/talp_plumer/mergesort_t.pl 5154376 YES 12.58/3.95
Logic_Programming/talp_plumer/pl4.4.6a.pl 5154377 YES 4.52/1.87
Logic_Programming/talp_plumer/pl2.3.1.pl 5154378 YES 3.55/1.62
Logic_Programming/talp_plumer/pl7.2.9.pl 5154379 YES 4.83/2.01
Logic_Programming/talp_plumer/pl8.4.2.pl 5154380 YES 5.65/2.18
Logic_Programming/talp_plumer/pl3.1.1.pl 5154381 MAYBE 9.35/3.22
Logic_Programming/talp_plumer/pl1.2_t.pl 5154382 YES 6.60/2.50
Logic_Programming/talp_plumer/pl8.2.1.pl 5154383 YES 14.54/4.43
Logic_Programming/talp_plumer/pl4.0.1-oooi.pl 5154384 MAYBE 6.08/2.32
Logic_Programming/talp_plumer/pl4.5.3c.pl 5154385 MAYBE 6.44/2.48
Logic_Programming/talp_plumer/pl4.5.2.pl 5154386 MAYBE 36.33/10.71
Logic_Programming/talp_plumer/pl3.5.6a.pl 5154387 YES 3.43/1.59
Logic_Programming/talp_plumer/pl7.6.2c.pl 5154388 YES 8.27/2.99
Logic_Programming/talp_plumer/pl4.5.3b.pl 5154389 MAYBE 9.52/3.42
Logic_Programming/talp_plumer/pl3.5.6.pl 5154390 MAYBE 6.17/2.36
Logic_Programming/talp_plumer/pl1.1.pl 5154391 MAYBE 5.50/2.22
Logic_Programming/talp_plumer/pl4.4.3.pl 5154392 YES 6.50/2.36
Logic_Programming/talp_plumer/pl8.3.1a.pl 5154393 YES 8.44/2.97
Logic_Programming/talp_plumer/pl7.6.2a.pl 5154395 MAYBE 18.46/5.68
Logic_Programming/talp_plumer/pl4.5.3a.pl 5154396 MAYBE 6.02/2.34
Logic_Programming/talp_plumer/pl4.0.1.pl 5154397 YES 4.27/1.76
Logic_Programming/talp_plumer/pl8.4.1.pl 5154398 YES 3.79/1.65
443