Termination Competition 2018: Prolog30101

benchmark AProVE
AProVE_numeric/et2-true-c.pl YES 4.50/1.86
AProVE_numeric/svcomp-b-09-assume-c.pl YES 5.04/2.01
AProVE_numeric/svcomp-b-03-assume-c.pl YES 7.03/2.65
AProVE_numeric/svcomp-c-03-c.pl YES 5.76/2.25
AProVE_numeric/svcomp-c-02-c.pl YES 9.72/3.42
AProVE_numeric/svcomp-addition01-true-unreach-call-true-termination-modified-c.pl YES 4.96/2.09
AProVE_numeric/svcomp-java-sequence-c.pl StarExec error
AProVE_numeric/et1-true-c.pl YES 4.12/1.75
AProVE_numeric/svcomp-twisted-c.pl YES 6.20/2.31
AProVE_numeric/svcomp-b-16-c.pl YES 5.33/2.12
AProVE_numeric/svcomp-rec-hanoi02-true-unreach-call-true-termination-modified.pl MAYBE 8.53/2.99
AProVE_numeric/svcomp-b-14-c.pl YES 5.31/2.07
AProVE_numeric/svcomp-java-log-built-in-c.pl timeout (wallclock)
AProVE_numeric/svcomp-ex3b-c.pl YES 3.99/1.90
AProVE_numeric/rec-counter1-c.pl YES 4.85/2.03
AProVE_numeric/svcomp-java-break-c.pl YES 7.57/2.72
AProVE_numeric/svcomp-a-06-c.pl YES 7.90/2.79
AProVE_numeric/svcomp-b-07-c.pl YES 5.09/1.97
AProVE_numeric/svcomp-easy-sum-c.pl YES 8.12/2.88
AProVE_numeric/binomial-true-c.pl YES 7.85/2.71
AProVE_numeric/svcomp-c-07-c.pl YES 33.37/14.03
AProVE_numeric/svcomp-b-05-c.pl YES 5.73/2.21
AProVE_numeric/log-recursive-c-true.pl YES 5.44/2.14
AProVE_numeric/two-way-true.pl MAYBE 12.90/4.20
AProVE_numeric/svcomp-a-01-c.pl pending submission
AProVE_numeric/svcomp-b-01-c.pl pending submission
AProVE_numeric/ex3-c.pl pending submission
AProVE_numeric/svcomp-flag-c.pl YES 11.79/3.99
AProVE_numeric/svcomp-b-10-c.pl YES 10.77/3.58
AProVE_numeric/svcomp-even-odd-01-true-unrech-call-true-termination-modified-c.pl YES 4.44/1.84
AProVE_numeric/svcomp-a-07-c.pl pending submission
AProVE_numeric/svcomp-ex2-c.pl pending submission
AProVE_numeric/svcomp-ackermann01-true-unreach-call-modified-modified-c.pl MAYBE 10.60/3.52
AProVE_numeric/svcomp-ex1-c.pl YES 5.00/2.05
AProVE_numeric/svcomp-gcd-01-true-unreach-call-true-termination-modified-c.pl YES 4.41/1.83
AProVE_numeric/svcomp-fibonacci-01-true-unreach-call-modified-c.pl YES 6.90/2.56
AProVE_numeric/svcomp-b-18-c.pl YES 11.97/4.40
AProVE_numeric/terminator-rec-02-true.pl YES 4.32/1.82
AProVE_numeric/svcomp-b-06-c.pl pending submission
AProVE_numeric/parts-true-c.pl YES 5.03/2.05
AProVE_numeric/svcomp-b-13-c.pl YES 12.05/3.85
AProVE_numeric/svcomp-mult-commutative-true-unreach-call-true-termination-modified-c.pl MAYBE 74.64/23.58
AProVE_numeric/svcomp-java-nested-c.pl YES 4.96/2.03
AProVE_numeric/svcomp-b-11-c.pl YES 7.50/2.67
AProVE_numeric/svcomp-a-04-c.pl YES 8.33/2.87
AProVE_numeric/svcomp-java-continue-c.pl YES 4.60/1.90
AProVE_numeric/svcomp-a-05-c.pl YES 7.64/2.69
AProVE_numeric/et3-true-c.pl pending submission
AProVE_numeric/svcomp-b-04-c.pl YES 4.80/2.00
AProVE_numeric/svcomp-b-02-c.pl YES 4.75/1.97
AProVE_numeric/svcomp-ex3a-c.pl YES 5.23/2.14
AProVE_numeric/svcomp-a-08-c.pl YES 4.59/1.95
AProVE_numeric/ex2-c.pl YES 4.19/1.77
AProVE_numeric/svcomp-b-09-no-inv-assume-c.pl YES 4.79/1.93
AProVE_numeric/svcomp-b-12-c.pl YES 10.87/3.52
AProVE_numeric/svcomp-a-10-c.pl YES 5.44/2.16
AProVE_numeric/svcomp-java-ag313-c.pl YES 4.19/1.77
AProVE_numeric/avg-true-c.pl pending submission
AProVE_numeric/le-user-def-rec-true.pl YES 4.65/1.90
AProVE_numeric/svcomp-c-08-c.pl YES 10.29/3.42
AProVE_numeric/svcomp-b-17-c.pl YES 5.46/2.18
AProVE_numeric/svcomp-fermat-c.pl pending submission
AProVE_numeric/svcomp-a-09-assume-c.pl YES 4.20/1.78
AProVE_numeric/svcomp-b-03-no-inv-assume-c.pl MAYBE 16.94/5.10
AProVE_numeric/svcomp-b-15-c.pl YES 7.05/2.63
AProVE_numeric/et4-true-c.pl YES 5.10/2.04
AProVE_numeric/svcomp-c-01-no-inv-c.pl MAYBE 26.49/7.53
AProVE_numeric/svcomp-c-01-assume-c.pl YES 7.41/2.64
AProVE_10_prolog/and2.pl MAYBE 5.11/2.06
AProVE_10_prolog/inequality2.pl MAYBE 8.22/2.94
AProVE_10_prolog/and1.pl YES 3.23/1.54
AProVE_10_prolog/grammar.pl YES 3.51/1.58
AProVE_10_prolog/terminate.pl MAYBE 6.25/2.37
AProVE_10_prolog/nonterm.pl YES 3.43/2.04
AProVE_10_prolog/divrempredef.pl YES 6.72/2.45
AProVE_10_prolog/equality1.pl MAYBE 5.62/2.21
AProVE_10_prolog/even3.pl YES 3.45/1.58
AProVE_10_prolog/term.pl YES 3.40/1.56
AProVE_10_prolog/even2.pl MAYBE 6.04/2.32
AProVE_10_prolog/existpredef.pl MAYBE 3.20/1.51
AProVE_10_prolog/dyck.pl YES 3.61/1.59
AProVE_10_prolog/term2.pl MAYBE 5.99/2.44
AProVE_10_prolog/nounify.pl MAYBE 5.48/2.21
AProVE_10_prolog/even.pl YES 3.28/1.55
AProVE_10_prolog/lateinstance.pl YES 3.52/1.64
AProVE_10_prolog/inequality1.pl MAYBE 5.69/2.28
AProVE_10_prolog/addneg.pl YES 3.76/1.67
AProVE_10_prolog/equality2.pl MAYBE 5.47/2.14
Euler_queensu-cs260/insert.pl YES 5.12/2.08
Euler_queensu-cs260/euler-01.pl timeout (wallclock)
Euler_queensu-cs260/prime.pl timeout (wallclock)
Euler_queensu-cs260/euler-02-nonterm.pl timeout (wallclock)
Euler_queensu-cs260/evenspaced2.pl YES 5.31/2.14
Euler_queensu-cs260/count.pl MAYBE 3.91/1.71
Euler_queensu-cs260/euler-04.pl MAYBE 0.39/0.29
Euler_queensu-cs260/evenspaced.pl YES 4.68/1.89
Euler_queensu-cs260/isort.pl YES 4.63/1.92
Euler_queensu-cs260/gcd.pl YES 11.74/3.72
Euler_queensu-cs260/evenspacedwithdiff.pl YES 5.06/2.06
Euler_queensu-cs260/euler-02.pl YES 5.85/2.21
Euler_queensu-cs260/countall.pl MAYBE 3.87/1.73
Euler_queensu-cs260/euler-03.pl timeout (wallclock)
Art-of-prolog/program-8-8.pl YES 3.73/2.63
Art-of-prolog/exercise_timeslist.pl YES 4.06/1.76
Art-of-prolog/exercise_hanoi.pl YES 6.56/2.46
Art-of-prolog/exercise_min.pl YES 4.02/1.74
Art-of-prolog/program-8-6-b.pl YES 4.24/1.83
Art-of-prolog/program-8-6-a.pl YES 3.91/1.72
Art-of-prolog/program-8-7-a.pl YES 4.21/1.79
Art-of-prolog/program-8-10.pl YES 3.96/1.73
Art-of-prolog/program-8-9.pl YES 4.33/1.85
Art-of-prolog/program-8-12.pl YES 5.86/2.30
Art-of-prolog/program-8-3.pl YES 7.49/2.78
Art-of-prolog/program-8-11.pl YES 4.02/1.76
Art-of-prolog/exercise_squareroot.pl YES 8.29/3.03
Art-of-prolog/exercise_triangle2.pl StarExec error
Art-of-prolog/program-8-7-b.pl YES 4.57/1.94
Art-of-prolog/program-8-1.pl YES 5.44/2.21
Art-of-prolog/exercise_power.pl YES 5.93/2.27
Art-of-prolog/exercise_area.pl YES 4.37/1.81
Art-of-prolog/program-8-4.pl YES 4.07/1.76
Art-of-prolog/exercise_length.pl YES 4.52/1.91
Art-of-prolog/exercise_triangle.pl YES 4.22/1.79
Art-of-prolog/exercise_power2.pl pending submission
Art-of-prolog/program-8-2.pl YES 4.48/1.90
Art-of-prolog/program-8-5.pl YES 6.36/2.40
Art-of-prolog/exercise_between.pl YES 4.85/1.97
Art-of-prolog/exercise_range.pl YES 4.10/1.76
Schneider_Kamp_09/max_valued.pl YES 3.38/1.54
Schneider_Kamp_09/existential.pl MAYBE 6.30/2.39
Schneider_Kamp_09/star1.pl YES 6.18/2.33
Schneider_Kamp_09/append_linear.pl YES 4.03/1.78
Schneider_Kamp_09/soundex.pl YES 4.98/1.99
Schneider_Kamp_09/thief1.pl MAYBE 6.51/2.39
Schneider_Kamp_09/hidden_flatten.pl YES 4.86/2.00
Schneider_Kamp_09/len.pl MAYBE 9.03/3.27
Schneider_Kamp_09/psk02.pl YES 3.47/1.60
Schneider_Kamp_09/negationasfailure.pl YES 4.08/1.75
Schneider_Kamp_09/less2.pl YES 4.51/1.88
Schneider_Kamp_09/shuffle.pl YES 4.05/1.76
Schneider_Kamp_09/less1.pl YES 18.61/5.72
Schneider_Kamp_09/thief2.pl YES 3.29/1.84
Schneider_Kamp_09/star2.pl YES 4.48/1.90
Schneider_Kamp_09/psk03.pl MAYBE 6.48/2.46
Schneider_Kamp_09/shape.pl YES 3.70/1.63
Schneider_Kamp_09/psk01.pl MAYBE 7.51/4.70
Schneider_Kamp_08/short2.pl YES 3.40/1.57
Schneider_Kamp_08/appendex.pl MAYBE 6.50/5.72
Schneider_Kamp_08/short1.pl YES 3.68/1.62
Schneider_Kamp_08/negationasfailure.pl YES 3.85/1.73
Schneider_Kamp_08/minus2.pl YES 8.36/2.86
Schneider_Kamp_08/divminuslinear.pl YES 5.92/2.22
Schneider_Kamp_08/minus1.pl YES 4.13/1.77
Schneider_Kamp_08/minus4.pl YES 3.68/1.69
Schneider_Kamp_08/minus3.pl YES 3.97/1.71
Schneider_Kamp_08/divminus.pl YES 5.74/2.22
Stroeder_09/divremain2.pl StarExec error
Stroeder_09/cutpos1.pl YES 3.41/1.56
Stroeder_09/num2.pl YES 3.55/1.59
Stroeder_09/tree.pl pending submission
Stroeder_09/map.pl YES 4.14/1.80
Stroeder_09/plumer356.pl MAYBE 5.85/2.28
Stroeder_09/divremain.pl YES 6.72/2.47
Stroeder_09/len2.pl YES 3.78/1.66
Stroeder_09/giesl97.pl YES 4.95/2.06
Stroeder_09/ts03.pl MAYBE 5.77/2.35
Stroeder_09/add1.pl YES 3.79/1.66
Stroeder_09/dependency2.pl YES 4.85/2.01
Stroeder_09/flatten.pl MAYBE 8.93/3.19
Stroeder_09/btree2.pl YES 4.87/2.26
Stroeder_09/vlcnd.pl MAYBE 79.08/20.78
Stroeder_09/lte1.pl YES 3.65/1.67
Stroeder_09/lte2.pl YES 3.76/2.28
Stroeder_09/confdel.pl YES 8.58/4.06
Stroeder_09/prime_fact.pl MAYBE 988.82/249.42
Stroeder_09/countstack2.pl YES 4.24/1.79
Stroeder_09/rev.pl YES 5.47/2.22
Stroeder_09/preorder.pl pending submission
Stroeder_09/app2.pl MAYBE 8.88/3.10
Stroeder_09/countstack.pl YES 4.94/2.01
Stroeder_09/times1.pl MAYBE 14.47/4.52
Stroeder_09/fold2.pl YES 4.07/1.78
Stroeder_09/len.pl YES 3.91/1.80
Stroeder_09/app1.pl pending submission
Stroeder_09/tree2.pl YES 3.99/1.69
Stroeder_09/btree.pl YES 4.88/1.96
Stroeder_09/dependency.pl YES 5.02/2.01
Stroeder_09/select1.pl YES 4.47/2.54
Stroeder_09/list2.pl YES 3.40/1.59
Stroeder_09/overlap1.pl YES 4.62/1.90
Stroeder_09/plumer453a.pl YES 3.35/1.55
Stroeder_09/blist.pl YES 4.91/2.01
Stroeder_09/gopher2.pl YES 4.08/2.67
Stroeder_09/ts02.pl pending submission
Stroeder_09/ts01.pl pending submission
Stroeder_09/cutpos2.pl MAYBE 5.51/3.03
Stroeder_09/ordered2.pl MAYBE 9.47/3.32
Stroeder_09/blist2.pl YES 4.08/1.73
Stroeder_09/rev2.pl YES 5.35/2.11
Stroeder_09/transpose1.pl YES 39.76/11.24
Stroeder_09/duplicate1.pl pending submission
Stroeder_09/average1.pl MAYBE 32.07/8.83
Stroeder_09/inorder-oi.pl YES 6.54/2.39
Stroeder_09/app3.pl YES 3.99/2.75
Stroeder_09/less.pl YES 3.95/1.71
Stroeder_09/list.pl YES 3.88/1.70
Stroeder_09/add2.pl MAYBE 8.41/3.06
Stroeder_09/quot2.pl YES 6.21/2.32
Stroeder_09/fold3.pl YES 4.35/1.86
Stroeder_09/overlap2.pl YES 3.97/1.71
Stroeder_09/subset-oi.pl MAYBE 387.07/108.29
Stroeder_09/gopher1.pl YES 3.92/1.71
Stroeder_09/btapplast.pl YES 9.66/3.32
Stroeder_09/ordered.pl YES 5.41/2.09
Stroeder_09/duplicate2.pl YES 4.00/1.75
Stroeder_09/select2.pl pending submission
Stroeder_09/convert.pl pending submission
Stroeder_09/add3.pl YES 3.81/1.72
Stroeder_09/applast.pl YES 6.60/2.55
Stroeder_09/divminus2.pl YES 5.77/2.51
Stroeder_09/bappend.pl YES 4.77/1.99
Stroeder_09/mul1.pl YES 4.88/1.97
Stroeder_09/plumer453b.pl YES 3.52/1.60
Stroeder_09/quot1.pl YES 7.87/2.73
Stroeder_09/plumer453c.pl YES 3.43/1.57
Stroeder_09/lessleaves.pl MAYBE 25.90/9.58
Stroeder_09/evenodd1.pl YES 3.56/1.61
Stroeder_09/fold1.pl YES 3.75/1.66
Stroeder_09/btappend.pl YES 8.48/3.07
Stroeder_09/num.pl YES 3.97/1.81
Stroeder_09/evenodd2.pl YES 4.34/1.90
Stroeder_09/ordered3.pl YES 5.10/2.01
prolog_mixed/gtsolve.pl YES 3.23/1.53
prolog_mixed/curry_ap.pl MAYBE 5.26/2.19
prolog_mixed/tautology.pl YES 69.68/18.70
prolog_mixed/quicksort.pl YES 10.22/3.35
prolog_mixed/taboch_queens.pl YES 6.99/2.61
prolog_mixed/mergesort_ap_variant.pl MAYBE 63.27/17.42
prolog_mixed/permute2.pl YES 5.04/2.05
prolog_mixed/psk09-cycle.pl timeout (wallclock)
prolog_mixed/numbervars.pl MAYBE 3.53/1.59
prolog_mixed/hanoi.pl MAYBE 1167.90/293.43
prolog_mixed/fib.pl YES 4.73/1.91
prolog_mixed/psk09-distance.pl MAYBE 13.13/4.22
prolog_mixed/fib-oi.pl YES 4.58/1.88
prolog_mixed/dc_schema.pl YES 3.43/2.37
prolog_mixed/mergesort.pl YES 13.56/4.55
prolog_mixed/kay4.pl YES 3.51/1.61
prolog_mixed/factorial.pl YES 3.53/1.67
prolog_mixed/primes.pl timeout (wallclock)
prolog_mixed/terminweb_queens.pl YES 6.66/2.42
prolog_mixed/totient.pl YES 8.83/3.01
Hett/p1_11.pl MAYBE 23.22/7.72
Hett/p2_06.pl timeout (wallclock)
Hett/p2_02.pl timeout (wallclock)
Hett/p2_10.pl timeout (wallclock)
Hett/p1_13.pl MAYBE 6.50/2.38
Hett/p1_16.pl YES 5.08/1.99
Hett/p2_07.pl YES 5.82/2.28
Hett/p2_03.pl timeout (wallclock)
Hett/p1_27_b.pl YES 8.58/2.96
Hett/p1_12.pl YES 15.42/4.83
Hett/p1_03.pl YES 4.25/1.76
Hett/p1_28_a.pl YES 4.77/1.99
Hett/p1_20.pl YES 4.21/1.78
Hett/p2_01.pl YES 3.43/1.60
Hett/p1_17.pl YES 4.12/1.77
Hett/p2_08.pl YES 6.10/2.40
Hett/p1_27_a.pl YES 8.58/3.03
Hett/p1_04.pl YES 4.03/1.74
Hett/p2_09.pl YES 11.11/3.64
Hett/p2_05.pl timeout (wallclock)
Hett/p1_19.pl YES 3.44/1.57
Hett/p1_22.pl YES 5.75/2.29
Hett/p1_18.pl YES 4.73/1.92
Hett/p1_15.pl YES 5.19/2.05
Hett/p1_21.pl YES 4.29/1.81
Hett/p2_04.pl timeout (wallclock)
Weinert_15/ackermann.pl YES 8.12/2.86
Weinert_15/is.pl MAYBE 8.38/2.93
Weinert_15/double-is.pl YES 3.81/1.70
Weinert_15/division-nonterm.pl MAYBE 12.83/5.21
Weinert_15/descend.pl YES 6.19/2.40
Weinert_15/ackermann-cut.pl YES 5.05/1.98
Weinert_15/factorial_or.pl MAYBE 20.70/6.44
Weinert_15/double.pl YES 3.87/1.70
Weinert_15/division.pl MAYBE 17.23/5.38
Weinert_15/prime.pl YES 4.27/1.84
Weinert_15/sumrecursive.pl YES 8.75/2.96
Weinert_15/fibonacci.pl YES 12.64/4.03
Weinert_15/extend.pl YES 8.34/2.94
Weinert_15/fib-cut.pl YES 4.51/1.91
Weinert_15/vector.pl MAYBE 9.42/3.15
Weinert_15/descend-nonterm.pl MAYBE 7.14/3.07
Weinert_15/sum.pl YES 3.35/1.60
Weinert_15/get-from-list-cut.pl MAYBE 15.57/5.19
Weinert_15/factorial_and.pl YES 7.63/2.80
Weinert_15/frac-reduce.pl MAYBE 701.90/192.47
Weinert_15/get-from-list.pl MAYBE 25.21/8.99
Weinert_15/factorial.pl YES 6.78/2.49
talp_maria/serialize.pl YES 12.79/4.07
talp_maria/mmatrix.pl YES 5.18/2.07
talp_maria/read.pl MAYBE 4.10/1.86
talp_maria/grammar2.pl YES 3.89/1.72
talp_maria/bid.pl MAYBE 5.90/2.21
talp_maria/grammar.pl YES 3.97/1.72
talp_maria/qsortapp.pl YES 9.47/3.36
talp_maria/progeom.pl MAYBE 67.86/18.05
talp_maria/hanoiapp.pl YES 7.00/2.64
talp_maria/fib.pl YES 6.15/2.36
talp_maria/tak.pl YES 4.68/1.90
talp_maria/deriv.pl YES 3.50/1.59
talp_maria/boyer.pl MAYBE 4.67/1.99
talp_maria/qplan.pl YES 4.60/1.96
talp_maria/occur.pl MAYBE 4.62/1.91
talp_maria/aiakl.pl MAYBE 4.06/1.85
talp_maria/rdtok.pl MAYBE 4.71/2.06
talp_maria/query.pl YES 3.93/1.78
talp_maria/warplan.pl StarExec error
talp_maria/deriv-oii.pl YES 3.58/1.62
talp_maria/money.pl YES 7.68/2.67
talp_maria/ann.pl MAYBE 4.83/2.11
talp_maria/tictactoe.pl MAYBE 5.25/2.21
talp_maria/peephole.pl MAYBE 5.26/2.11
talp_maria/browse.pl MAYBE 4.16/1.82
lpexamples/ackermann.pl YES 4.64/1.99
lpexamples/log2a.pl YES 7.64/3.36
lpexamples/lategen.pl YES 3.80/1.71
lpexamples/log2a-oi.pl MAYBE 9.80/3.70
lpexamples/ackermann-ioi.pl MAYBE 17.30/5.47
lpexamples/mapcolor.pl MAYBE 31.61/8.99
lpexamples/shapes.pl YES 10.30/3.43
lpexamples/mergesort-oi.pl MAYBE 19.13/5.71
lpexamples/ts08.pl YES 3.87/1.74
lpexamples/log2b-oi.pl MAYBE 63.57/19.83
lpexamples/average.pl YES 4.87/2.06
lpexamples/average-ioi.pl YES 3.96/1.73
lpexamples/mergesort.pl YES 13.10/4.25
lpexamples/log2b.pl YES 4.70/2.97
BCGGV05/p_nonlin.pl YES 10.40/3.49
BCGGV05/minimum-fb.pl MAYBE 6.19/2.36
BCGGV05/tree.pl YES 3.72/1.70
BCGGV05/insert-bbf.pl YES 4.11/1.71
BCGGV05/g.pl YES 4.25/1.78
BCGGV05/select-bff.pl MAYBE 6.13/3.54
BCGGV05/search_tree.pl YES 5.53/2.17
BCGGV05/maximum-bff.pl YES 3.81/1.67
BCGGV05/frontier-fb.pl MAYBE 9.38/3.20
BCGGV05/member-fb.pl YES 3.72/1.65
BCGGV05/minimum-bf.pl YES 4.11/1.82
BCGGV05/delete-bbf.pl YES 5.41/2.11
BCGGV05/flatlength-ffb.pl MAYBE 7.68/2.75
BCGGV05/frontier-bf.pl YES 4.39/1.98
BCGGV05/slowsort-fb.pl MAYBE 10.86/3.73
BCGGV05/palindrome.pl YES 4.01/1.72
BCGGV05/suffix-bf.pl MAYBE 6.35/2.71
BCGGV05/insert-ffb.pl YES 5.66/2.19
BCGGV05/slowsort-bf.pl YES 7.04/2.53
BCGGV05/ackerman.pl YES 3.93/1.71
BCGGV05/tree_member-fb.pl YES 3.65/1.64
BCGGV05/flatlength-bbf.pl YES 4.07/1.77
BCGGV05/delete-fbf.pl YES 5.90/2.31
BCGGV05/p.pl pending submission
BCGGV05/flatlength-fbf.pl MAYBE 8.51/2.95
BCGGV05/inorder-fb.pl MAYBE 8.95/3.06
BCGGV05/insert-bfb.pl YES 4.74/1.98
BCGGV05/prefix-bf.pl YES 3.87/1.72
BCGGV05/append-ffb.pl YES 3.74/1.64
BCGGV05/insert-bff.pl MAYBE 28.06/10.44
BCGGV05/permutation-fb.pl MAYBE 8.05/2.87
BCGGV05/in-fb.pl YES 6.26/2.32
BCGGV05/delete-ffb.pl YES 5.76/2.21
BCGGV05/prefix-fb.pl pending submission
BCGGV05/subset-bf.pl MAYBE 7.62/2.81
BCGGV05/append-bff.pl YES 3.65/1.66
BCGGV05/mult.pl YES 4.54/1.87
BCGGV05/naive_reverse-bf.pl pending submission
BCGGV05/inorder-bf.pl YES 4.48/1.88
BCGGV05/transpose-bb.pl YES 4.77/2.00
BCGGV05/permutation-bf.pl YES 5.11/2.06
BCGGV05/reverse-bf.pl YES 4.30/1.75
BCGGV05/maximum-ffb.pl YES 3.76/1.67
BCGGV05/reverse-fb.pl MAYBE 6.98/2.54
BCGGV05/factor.pl pending submission
BCGGV05/less-fb.pl YES 3.68/1.64
BCGGV05/delete-bfb.pl pending submission
BCGGV05/map_color.pl YES 3.63/1.72
BCGGV05/suffix-fb.pl YES 3.71/1.67
BCGGV05/flat-fb.pl MAYBE 8.15/2.99
BCGGV05/delmin-ffb.pl YES 3.80/1.67
BCGGV05/less-bf.pl YES 3.56/1.63
BCGGV05/delmin-bff.pl YES 4.05/1.77
BCGGV05/subset-fb.pl MAYBE 8.61/3.02
BCGGV05/der-fb.pl MAYBE 70.04/18.55
BCGGV05/list.pl YES 3.77/1.70
BCGGV05/select-fbf.pl YES 3.87/1.73
BCGGV05/quicksort-bf.pl YES 8.33/2.98
BCGGV05/sum-ffb.pl YES 3.48/1.62
BCGGV05/maximum-fbf.pl pending submission
BCGGV05/ordered.pl YES 5.69/3.33
BCGGV05/select-ffb.pl YES 3.70/1.63
BCGGV05/length1.pl YES 4.22/2.11
BCGGV05/sum-fbf.pl pending submission
BCGGV05/flatlength-bfb.pl YES 3.76/1.73
BCGGV05/member-bf.pl MAYBE 6.30/2.31
BCGGV05/length.pl pending submission
BCGGV05/mergesort.pl MAYBE 23.65/6.96
BCGGV05/sublist-bf.pl pending submission
BCGGV05/sublist-fb.pl YES 4.02/1.77
BCGGV05/t.pl YES 5.33/2.09
BCGGV05/naive_reverse-fb.pl MAYBE 6.34/2.40
BCGGV05/permutation1-fb.pl YES 4.91/1.95
BCGGV05/transpose-fb.pl YES 7.48/2.81
BCGGV05/tree_member-bf.pl MAYBE 6.65/2.49
BCGGV05/quicksort-fb.pl MAYBE 59.74/16.05
BCGGV05/parse.pl YES 7.14/2.56
BCGGV05/flatlength-bff.pl YES 3.94/1.71
BCGGV05/der-bf.pl pending submission
BCGGV05/insert-fbf.pl YES 5.48/2.23
BCGGV05/transpose-bf.pl YES 4.34/1.90
BCGGV05/numeral.pl YES 3.62/1.63
BCGGV05/in-bf.pl MAYBE 36.10/10.35
BCGGV05/delete-bff.pl MAYBE 32.46/9.15
BCGGV05/slowsort-bb.pl YES 6.16/2.32
BCGGV05/flat-bf.pl pending submission
talp_apt/map.pl YES 3.75/1.66
talp_apt/append.pl YES 3.79/1.67
talp_apt/map1.pl YES 3.74/1.65
talp_apt/quicksort.pl YES 8.98/3.18
talp_apt/naive_rev-oi.pl MAYBE 7.44/2.68
talp_apt/naive_rev.pl StarExec error
talp_apt/quicksort-oi.pl timeout (wallclock)
talp_apt/select1.pl YES 4.39/1.83
talp_apt/member.pl YES 3.58/1.61
talp_apt/select.pl YES 3.70/1.67
talp_apt/sum.pl YES 3.91/1.75
talp_apt/SS_map_t.pl MAYBE 27.99/7.94
talp_apt/SS_map.pl MAYBE 32.11/8.95
talp_apt/mergesort_ap.pl YES 18.84/5.53
talp_apt/subset1.pl MAYBE 8.24/2.87
talp_apt/fold.pl YES 3.99/1.77
talp_apt/list.pl YES 3.90/1.79
talp_apt/SS_map_out.pl MAYBE 27.68/7.93
talp_apt/overlap.pl YES 4.26/1.85
talp_apt/subset.pl YES 4.02/1.73
talp_apt/ordered.pl YES 4.83/1.98
talp_apt/permutation.pl YES 5.39/2.13
talp_apt/mergesort.pl YES 18.44/5.71
talp_apt/lte.pl pending submission
SGST06/ackermann.pl YES 4.19/1.80
SGST06/p_nonlin.pl YES 9.07/3.07
SGST06/plus.pl YES 3.85/1.69
SGST06/transpose2.pl MAYBE 6.80/2.57
SGST06/snake.pl timeout (wallclock)
SGST06/giesl97.pl YES 4.58/1.89
SGST06/ifminus.pl YES 5.26/2.06
SGST06/avg-bfb.pl YES 3.84/1.67
SGST06/times.pl YES 3.95/1.70
SGST06/paper2.pl YES 4.19/2.28
SGST06/csnake.pl timeout (wallclock)
SGST06/flatten.pl YES 4.62/1.98
SGST06/toyama.pl YES 3.39/1.70
SGST06/palindrome.pl StarExec error
SGST06/weight.pl YES 6.77/2.44
SGST06/flatten_phd.pl YES 6.68/2.53
SGST06/quot.pl YES 4.16/1.77
SGST06/pplus.pl YES 3.63/1.65
SGST06/log.pl YES 4.79/1.97
SGST06/p.pl YES 11.28/3.65
SGST06/baby91.pl pending submission
SGST06/at.pl YES 3.26/1.59
SGST06/confdel.pl pending submission
SGST06/prime.pl YES 12.42/3.93
SGST06/rev.pl YES 9.14/3.25
SGST06/preorder.pl YES 3.95/1.72
SGST06/countstack.pl YES 4.59/1.90
SGST06/mapcolor.pl MAYBE 30.76/8.58
SGST06/evenodd.pl YES 3.83/1.75
SGST06/btree.pl pending submission
SGST06/avg.pl YES 4.72/2.00
SGST06/samefringe.pl pending submission
SGST06/cconfdel.pl YES 6.11/2.34
SGST06/pplus2.pl YES 4.79/1.95
SGST06/factor.pl YES 6.20/2.33
SGST06/blist.pl YES 4.12/1.78
SGST06/incomplete.pl YES 3.88/1.78
SGST06/ag01.pl YES 4.66/1.98
SGST06/cnfequiv.pl YES 8.75/2.98
SGST06/ifdiv.pl MAYBE 134.34/39.19
SGST06/shuffle.pl YES 5.41/2.18
SGST06/incomplete2.pl YES 3.75/1.66
SGST06/hbal_tree.pl YES 5.77/2.24
SGST06/intlist.pl YES 4.10/1.71
SGST06/doublehalfpred.pl pending submission
SGST06/paper1.pl YES 4.06/1.78
SGST06/btapplast.pl YES 5.00/2.02
SGST06/gopher.pl pending submission
SGST06/convert.pl YES 5.52/2.11
SGST06/psk09-maxsort-bool-nocut.pl YES 493.42/130.17
SGST06/psk09-append_variant.pl MAYBE 6.45/2.45
SGST06/applast.pl YES 4.82/2.02
SGST06/bappend.pl YES 4.09/1.80
SGST06/transpose-fb.pl YES 6.75/2.45
SGST06/parse.pl YES 5.66/2.20
SGST06/d.pl pending submission
SGST06/perm.pl pending submission
SGST06/lessleaves.pl YES 5.44/2.18
SGST06/times2.pl YES 6.55/2.48
SGST06/incomplete_variant.pl YES 3.34/1.56
SGST06/btappend.pl pending submission
terminweb_old/interleave.pl YES 3.76/1.80
terminweb_old/permutation2.pl YES 4.87/1.96
terminweb_old/subset-no.pl MAYBE 8.75/3.12
terminweb_old/untupled_bal_tree.pl YES 4.85/2.01
terminweb_old/sublist0.pl YES 4.29/1.84
terminweb_old/ackerman.pl YES 4.44/1.91
terminweb_old/inorder.pl YES 4.44/1.97
terminweb_old/rotate.pl YES 4.17/1.79
terminweb_old/sublist.pl YES 3.80/1.70
terminweb_old/sameleaves.pl YES 6.64/2.47
terminweb_old/reach.pl YES 8.33/2.96
terminweb_old/subset.pl YES 3.92/1.72
terminweb_old/append3-bis.pl YES 3.87/1.73
terminweb_old/permutation1.pl StarExec error
terminweb_old/balance_tree.pl YES 4.18/1.79
terminweb_old/balance_tree2.pl MAYBE 8.82/3.05
terminweb_old/sublist_bad.pl MAYBE 7.25/2.62
terminweb_old/append3.pl YES 4.08/1.76
terminweb_new/NJ5.pl YES 4.29/1.95
terminweb_new/type-based_append.pl YES 3.78/1.63
terminweb_new/preorder_dl.pl YES 3.94/1.76
terminweb_new/NJ6.pl YES 4.33/1.83
terminweb_new/ways.pl YES 17.45/5.48
terminweb_new/NJ3.pl YES 4.09/1.74
terminweb_new/som.pl YES 3.76/1.63
terminweb_new/transpose.pl YES 4.78/1.93
terminweb_new/NJ1.pl YES 4.04/1.74
terminweb_new/NJ2.pl YES 3.57/1.66
terminweb_new/append-ooi.pl YES 3.72/1.63
terminweb_new/backwards_append.pl YES 3.90/1.76
terminweb_new/NJ4.pl YES 4.26/1.86
terminweb_new/basic_append.pl YES 3.89/1.70
terminweb_new/der.pl YES 7.90/2.72
AProVE_10_cut/lateinst.pl YES 3.60/1.82
AProVE_10_cut/latesplit.pl YES 3.77/1.75
AProVE_10_cut/ts10.pl MAYBE 6.01/2.30
AProVE_10_cut/ts06.pl MAYBE 5.23/2.12
AProVE_10_cut/ts09.pl YES 3.59/1.63
AProVE_10_cut/ts07.pl MAYBE 4.96/2.05
AProVE_10_cut/ts04.pl YES 4.13/1.82
AProVE_10_cut/ts05.pl YES 3.42/1.56
talp_mixed/flat.pl YES 5.38/2.11
talp_mixed/hanoiapp.suc.pl YES 8.59/2.93
talp_mixed/permute1.pl YES 4.95/2.03
talp_mixed/reverse.pl YES 4.12/1.78
talp_mixed/sicstus1.pl YES 3.80/1.68
talp_mixed/p.pl YES 3.90/1.70
talp_mixed/queens.pl YES 8.68/3.12
talp_mixed/sublist1.pl YES 4.03/1.78
talp_mixed/flat-oi.pl MAYBE 7.64/2.75
talp_mixed/rotate.pl YES 4.02/1.74
talp_mixed/qicksort.pl YES 9.46/3.28
talp_mixed/sublist.pl YES 4.21/1.84
talp_mixed/sameleaves.pl YES 5.58/2.17
talp_mixed/zebra.pl YES 5.87/2.36
talp_mixed/bad_sublist.pl MAYBE 7.04/3.13
talp_mixed/fib_t.pl YES 4.11/1.79
talp_mixed/mergesort.pl YES 16.31/4.95
talp_mixed/ack.pl YES 4.12/1.73
talp_mixed/perm.pl YES 5.47/2.13
talp_dds/append.pl YES 3.72/1.64
talp_dds/duplicate.pl YES 3.97/1.74
talp_dds/reverse.pl StarExec error
talp_dds/permute.pl YES 4.88/2.06
talp_dds/reverse-iio.pl YES 3.88/1.74
talp_dds/dis_con.pl YES 4.02/1.75
talp_dds/sum.pl YES 4.65/1.93
talp_dds/dis_con-bis.pl YES 4.28/1.87
talp_dds/merge.pl YES 6.82/2.66
talp_dds/sum-ioi.pl YES 3.92/1.74
talp_talp/binary3.pl YES 7.12/2.58
talp_talp/binary4.pl MAYBE 18.98/5.92
talp_talp/flat.pl YES 4.31/1.84
talp_talp/binary.pl YES 6.64/2.48
talp_talp/append.pl YES 3.77/1.65
talp_talp/normal.pl YES 5.07/2.04
talp_talp/transitive_closure.pl YES 3.75/1.71
talp_talp/palindrome.pl YES 3.89/1.68
talp_talp/example4-2.pl MAYBE 6.39/2.35
talp_talp/evaluate.pl YES 6.64/2.43
talp_talp/reminder-ioi.pl YES 8.64/2.97
talp_talp/permute.pl YES 5.26/2.06
talp_talp/example4.pl YES 3.95/1.88
talp_talp/simple.pl YES 3.41/1.84
talp_talp/slowsort.pl YES 6.62/2.44
talp_talp/slowsort-oi.pl MAYBE 10.15/3.46
talp_talp/qsort.pl YES 10.95/3.88
talp_talp/example1.pl YES 3.36/1.56
talp_talp/gcd.pl YES 7.26/2.62
talp_talp/reminder.pl YES 6.56/2.46
talp_talp/vangelder.pl pending submission
talp_talp/div.pl YES 6.01/2.28
talp_talp/nat.pl pending submission
talp_talp/binary2.pl YES 6.90/2.53
talp_talp/perm.pl YES 5.86/2.32
talp_plumer/pl6.1.1.pl YES 10.82/3.50
talp_plumer/pl5.2.2.pl StarExec error
talp_plumer/pl1.2.pl YES 5.98/2.29
talp_plumer/pl7.6.2b.pl MAYBE 167.71/42.88
talp_plumer/pl8.3.1.pl StarExec error
talp_plumer/mergesort_t.pl YES 12.58/3.95
talp_plumer/pl4.4.6a.pl YES 4.52/1.87
talp_plumer/pl2.3.1.pl YES 3.55/1.62
talp_plumer/pl7.2.9.pl YES 4.83/2.01
talp_plumer/pl8.4.2.pl YES 5.65/2.18
talp_plumer/pl3.1.1.pl MAYBE 9.35/3.22
talp_plumer/pl1.2_t.pl YES 6.60/2.50
talp_plumer/pl8.2.1.pl YES 14.54/4.43
talp_plumer/pl4.0.1-oooi.pl MAYBE 6.08/2.32
talp_plumer/pl4.5.3c.pl MAYBE 6.44/2.48
talp_plumer/pl4.5.2.pl MAYBE 36.33/10.71
talp_plumer/pl3.5.6a.pl YES 3.43/1.59
talp_plumer/pl7.6.2c.pl YES 8.27/2.99
talp_plumer/pl4.5.3b.pl MAYBE 9.52/3.42
talp_plumer/pl3.5.6.pl MAYBE 6.17/2.36
talp_plumer/pl1.1.pl MAYBE 5.50/2.22
talp_plumer/pl4.4.3.pl YES 6.50/2.36
talp_plumer/pl8.3.1a.pl YES 8.44/2.97
talp_plumer/pl8.2.1a.pl pending submission
talp_plumer/pl7.6.2a.pl MAYBE 18.46/5.68
talp_plumer/pl4.5.3a.pl MAYBE 6.02/2.34
talp_plumer/pl4.0.1.pl YES 4.27/1.76
talp_plumer/pl8.4.1.pl YES 3.79/1.65
443