| benchmark | AProVE | polytool | pTNT |
|---|---|---|---|
| tpdb-8.0/LP/LP/BCGGV05/delete-fbf.pl | YES 1608 | YES 3569 | MAYBE 60020 |
| tpdb-8.0/LP/LP/BCGGV05/flat-fb.pl | MAYBE 2052 | MAYBE 1430 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-ffb.pl | MAYBE 1688 | MAYBE 1491 | NO 60019 |
| tpdb-8.0/LP/LP/BCGGV05/frontier-fb.pl | MAYBE 4669 | MAYBE 1184 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/inorder-bf.pl | YES 1130 | YES 2655 | MAYBE 60019 |
| tpdb-8.0/LP/LP/BCGGV05/inorder-fb.pl | MAYBE 4440 | MAYBE 1078 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/insert-ffb.pl | YES 1552 | YES 3040 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/less-fb.pl | YES 963 | YES 641 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/list.pl | YES 961 | YES 636 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/map_color.pl | YES 946 | YES 3587 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/maximum-bff.pl | YES 1049 | YES 1263 | MAYBE 60019 |
| tpdb-8.0/LP/LP/BCGGV05/maximum-fbf.pl | YES 1050 | YES 1252 | MAYBE 60020 |
| tpdb-8.0/LP/LP/BCGGV05/naive_reverse-bf.pl | YES 1095 | YES 1269 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/naive_reverse-fb.pl | MAYBE 1868 | MAYBE 659 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/numeral.pl | YES 955 | YES 635 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/palindrome.pl | YES 1043 | YES 714 | MAYBE 60019 |
| tpdb-8.0/LP/LP/BCGGV05/p_nonlin.pl | YES 2529 | YES 4705 | MAYBE 60019 |
| tpdb-8.0/LP/LP/BCGGV05/quicksort-fb.pl | MAYBE 13101 | MAYBE 937 | NO 60019 |
| tpdb-8.0/LP/LP/BCGGV05/reverse-fb.pl | MAYBE 1603 | MAYBE 666 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/select-bff.pl | MAYBE 1652 | MAYBE 650 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/select-ffb.pl | YES 999 | YES 656 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/slowsort-bb.pl | YES 1481 | YES 4270 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/subset-bf.pl | MAYBE 1792 | MAYBE 1372 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/suffix-fb.pl | YES 996 | YES 663 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/transpose-bf.pl | YES 1180 | YES 13813 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/ackermann-ioi.pl | MAYBE 3380 | MAYBE 2427 | NO 60018 |
| tpdb-8.0/LP/LP/lpexamples/ackermann.pl | YES 1064 | YES 5183 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/average-ioi.pl | YES 1071 | YES 1467 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/average.pl | YES 1137 | YES 1564 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/lategen.pl | YES 837 | MAYBE 1424 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/log2a-oi.pl | MAYBE 2294 | MAYBE 839 | NO 60018 |
| tpdb-8.0/LP/LP/lpexamples/log2a.pl | YES 1356 | YES 1910 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/log2b.pl | YES 1340 | YES 1656 | MAYBE 60019 |
| tpdb-8.0/LP/LP/lpexamples/mergesort-oi.pl | MAYBE 4510 | MAYBE 9216 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/shapes.pl | YES 2852 | TIMEOUT 60041 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/ts08.pl | YES 1011 | YES 653 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/applast.pl | YES 1212 | YES 2080 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/avg-bfb.pl | YES 1045 | YES 1462 | MAYBE 60020 |
| tpdb-8.0/LP/LP/SGST06/avg.pl | YES 1140 | YES 957 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/cconfdel.pl | YES 1350 | YES 2530 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/d.pl | YES 2034 | TIMEOUT 60031 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/giesl97.pl | YES 1193 | YES 809 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/intlist.pl | YES 1107 | YES 1537 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/log.pl | YES 1316 | YES 2002 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/plus.pl | YES 980 | YES 645 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/p.pl | YES 1652 | YES 5135 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/pplus2.pl | YES 1205 | YES 1967 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/pplus.pl | YES 965 | YES 790 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/preorder.pl | YES 1087 | YES 1997 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/quot.pl | YES 1097 | YES 1627 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/samefringe.pl | YES 1393 | YES 2454 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/times.pl | YES 1050 | YES 1408 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/toyama.pl | YES 819 | YES 49 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/weight.pl | YES 1494 | YES 3418 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/fold.pl | YES 845 | YES 725 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/lte.pl | YES 1008 | YES 1270 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/map1.pl | YES 992 | YES 728 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_apt/mergesort_ap.pl | YES 4868 | YES 30564 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/ordered.pl | YES 1262 | YES 1520 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/quicksort-oi.pl | MAYBE 37275 | MAYBE 973 | NO 60018 |
| tpdb-8.0/LP/LP/talp_apt/select.pl | YES 997 | YES 648 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/SS_map_out.pl | TIMEOUT 60802 | MAYBE 1943 | NO 60018 |
| tpdb-8.0/LP/LP/talp_apt/SS_map.pl | TIMEOUT 60841 | MAYBE 1773 | NO 60018 |
| tpdb-8.0/LP/LP/talp_apt/subset.pl | YES 1116 | YES 1393 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/sum.pl | YES 975 | YES 646 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/append.pl | YES 990 | YES 657 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/dis_con-bis.pl | YES 1147 | YES 913 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/dis_con.pl | YES 1115 | YES 960 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/duplicate.pl | YES 993 | YES 656 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/merge.pl | YES 1578 | YES 4414 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/permute.pl | YES 1199 | YES 1502 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/reverse-iio.pl | YES 984 | YES 653 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/reverse.pl | YES 975 | YES 649 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_dds/sum-ioi.pl | YES 1025 | YES 1504 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/sum.pl | YES 1022 | YES 1575 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/ack.pl | YES 1076 | YES 4964 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/fib_t.pl | YES 1211 | YES 3374 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/flat.pl | YES 1329 | YES 2268 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/hanoiapp.suc.pl | YES 1499 | YES 4611 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/mergesort.pl | YES 4426 | TIMEOUT 60052 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/perm.pl | YES 1343 | YES 2426 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/permute1.pl | YES 1340 | YES 2382 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/p.pl | YES 978 | YES 1365 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/sicstus1.pl | YES 1042 | YES 682 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/sublist1.pl | YES 1034 | YES 660 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/zebra.pl | YES 1975 | YES 1993 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/mergesort_t.pl | YES 3236 | YES 27678 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl3.1.1.pl | MAYBE 1985 | MAYBE 680 | NO 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.0.1-oooi.pl | MAYBE 1809 | MAYBE 663 | NO 60019 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.0.1.pl | YES 1039 | YES 667 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.4.3.pl | YES 1575 | YES 3337 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.4.6a.pl | YES 1114 | YES 1271 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.5.2.pl | MAYBE 5536 | MAYBE 7091 | NO 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.5.3b.pl | MAYBE 2089 | MAYBE 640 | NO 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.3.1.pl | TIMEOUT 60613 | MAYBE 10277 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.4.1.pl | YES 956 | YES 658 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.4.2.pl | YES 1561 | YES 2672 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/append.pl | YES 1021 | YES 679 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/binary2.pl | YES 1993 | YES 5617 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/binary3.pl | YES 2004 | YES 6520 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/binary4.pl | MAYBE 4624 | MAYBE 7269 | NO 60018 |
| tpdb-8.0/LP/LP/talp_talp/binary.pl | YES 1935 | YES 5579 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/evaluate.pl | YES 1819 | YES 8962 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_talp/palindrome.pl | YES 1041 | YES 721 | MAYBE 60020 |
| tpdb-8.0/LP/LP/talp_talp/reminder-ioi.pl | YES 1724 | YES 2292 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_talp/reminder.pl | YES 1473 | YES 2235 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/simple.pl | YES 885 | YES 51 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/transitive_closure.pl | YES 881 | YES 716 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/append-ooi.pl | YES 999 | YES 650 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/backwards_append.pl | YES 990 | YES 659 | MAYBE 60019 |
| tpdb-8.0/LP/LP/terminweb_new/basic_append.pl | YES 998 | YES 656 | MAYBE 60019 |
| tpdb-8.0/LP/LP/terminweb_new/NJ1.pl | YES 1037 | YES 661 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/NJ3.pl | YES 1062 | YES 5145 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/NJ4.pl | YES 1025 | YES 646 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/NJ5.pl | YES 1039 | YES 1335 | MAYBE 60019 |
| tpdb-8.0/LP/LP/terminweb_new/NJ6.pl | YES 1087 | YES 1382 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/preorder_dl.pl | YES 1099 | YES 1986 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/transpose.pl | YES 1223 | YES 3619 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/ways.pl | YES 3374 | YES 10756 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/ackerman.pl | YES 1069 | YES 5047 | MAYBE 60019 |
| tpdb-8.0/LP/LP/terminweb_old/append3-bis.pl | YES 1093 | YES 667 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/append3.pl | YES 1076 | YES 669 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/inorder.pl | YES 1134 | YES 2329 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/interleave.pl | YES 992 | YES 644 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/permutation2.pl | YES 1236 | YES 1510 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/reach.pl | YES 1888 | YES 3721 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/rotate.pl | YES 1065 | YES 1267 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/sameleaves.pl | YES 1423 | YES 1803 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/sublist0.pl | YES 1079 | YES 661 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/subset-no.pl | MAYBE 7781 | MAYBE 1483 | NO 60017 | 108 | 104 | 20 |