| benchmark | AProVE | polytool | pTNT |
|---|---|---|---|
| tpdb-8.0/LP/LP/BCGGV05/append-bff.pl | YES 961 | YES 716 | MAYBE 60097 |
| tpdb-8.0/LP/LP/BCGGV05/delete-bfb.pl | YES 1411 | YES 2934 | MAYBE 60075 |
| tpdb-8.0/LP/LP/BCGGV05/delete-fbf.pl | YES 1565 | YES 3645 | MAYBE 60086 |
| tpdb-8.0/LP/LP/BCGGV05/delmin-ffb.pl | YES 1115 | YES 685 | MAYBE 60088 |
| tpdb-8.0/LP/LP/BCGGV05/flat-bf.pl | YES 1584 | YES 1449 | MAYBE 60080 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-bff.pl | YES 1150 | YES 1603 | MAYBE 60114 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-fbf.pl | MAYBE 3743 | MAYBE 1020 | NO 60073 |
| tpdb-8.0/LP/LP/BCGGV05/in-fb.pl | YES 1466 | YES 2920 | MAYBE 60095 |
| tpdb-8.0/LP/LP/BCGGV05/inorder-bf.pl | YES 1175 | YES 2727 | MAYBE 60073 |
| tpdb-8.0/LP/LP/BCGGV05/insert-bfb.pl | YES 1246 | YES 2261 | MAYBE 60097 |
| tpdb-8.0/LP/LP/BCGGV05/insert-fbf.pl | YES 1601 | YES 3048 | MAYBE 60084 |
| tpdb-8.0/LP/LP/BCGGV05/less-bf.pl | YES 972 | YES 665 | MAYBE 60085 |
| tpdb-8.0/LP/LP/BCGGV05/ordered.pl | YES 1340 | YES 1457 | MAYBE 60094 |
| tpdb-8.0/LP/LP/BCGGV05/permutation1-fb.pl | YES 1222 | YES 1508 | MAYBE 60084 |
| tpdb-8.0/LP/LP/BCGGV05/p_nonlin.pl | YES 2881 | YES 4803 | MAYBE 60058 |
| tpdb-8.0/LP/LP/BCGGV05/prefix-bf.pl | YES 1014 | YES 697 | MAYBE 60052 |
| tpdb-8.0/LP/LP/BCGGV05/quicksort-bf.pl | YES 2610 | YES 6407 | MAYBE 60080 |
| tpdb-8.0/LP/LP/BCGGV05/reverse-bf.pl | YES 1014 | YES 706 | MAYBE 60074 |
| tpdb-8.0/LP/LP/BCGGV05/search_tree.pl | YES 1512 | YES 2535 | MAYBE 60098 |
| tpdb-8.0/LP/LP/BCGGV05/select-bff.pl | MAYBE 1909 | MAYBE 638 | NO 60081 |
| tpdb-8.0/LP/LP/BCGGV05/select-ffb.pl | YES 976 | YES 701 | MAYBE 60096 |
| tpdb-8.0/LP/LP/BCGGV05/slowsort-fb.pl | MAYBE 3198 | MAYBE 4415 | NO 60077 |
| tpdb-8.0/LP/LP/BCGGV05/subset-fb.pl | MAYBE 9446 | MAYBE 1525 | NO 60079 |
| tpdb-8.0/LP/LP/BCGGV05/tree_member-bf.pl | MAYBE 2093 | MAYBE 657 | NO 60096 |
| tpdb-8.0/LP/LP/BCGGV05/tree_member-fb.pl | YES 1060 | YES 716 | MAYBE 60098 |
| tpdb-8.0/LP/LP/lpexamples/ackermann-ioi.pl | MAYBE 4475 | MAYBE 2587 | NO 60052 |
| tpdb-8.0/LP/LP/lpexamples/ackermann.pl | YES 1125 | YES 5495 | MAYBE 60089 |
| tpdb-8.0/LP/LP/lpexamples/average-ioi.pl | YES 1094 | YES 1519 | MAYBE 60085 |
| tpdb-8.0/LP/LP/lpexamples/average.pl | YES 1326 | YES 1605 | MAYBE 60086 |
| tpdb-8.0/LP/LP/lpexamples/lategen.pl | YES 848 | MAYBE 1379 | MAYBE 60088 |
| tpdb-8.0/LP/LP/lpexamples/log2a-oi.pl | MAYBE 4317 | MAYBE 901 | NO 60098 |
| tpdb-8.0/LP/LP/lpexamples/log2b.pl | YES 1446 | YES 1679 | MAYBE 60095 |
| tpdb-8.0/LP/LP/lpexamples/mergesort-oi.pl | MAYBE 8151 | MAYBE 10186 | MAYBE 60096 |
| tpdb-8.0/LP/LP/lpexamples/shapes.pl | YES 3156 | TIMEOUT 60136 | MAYBE 60083 |
| tpdb-8.0/LP/LP/lpexamples/ts08.pl | YES 964 | YES 702 | MAYBE 60081 |
| tpdb-8.0/LP/LP/SGST06/ackermann.pl | YES 1118 | YES 5200 | MAYBE 60081 |
| tpdb-8.0/LP/LP/SGST06/ag01.pl | YES 1000 | YES 702 | MAYBE 60077 |
| tpdb-8.0/LP/LP/SGST06/avg-bfb.pl | YES 1101 | YES 1497 | MAYBE 60073 |
| tpdb-8.0/LP/LP/SGST06/cnfequiv.pl | YES 3381 | MAYBE 4242 | MAYBE 60064 |
| tpdb-8.0/LP/LP/SGST06/csnake.pl | TIMEOUT 60493 | YES 6459 | MAYBE 60090 |
| tpdb-8.0/LP/LP/SGST06/giesl97.pl | YES 1263 | YES 858 | MAYBE 60074 |
| tpdb-8.0/LP/LP/SGST06/hbal_tree.pl | YES 1903 | MAYBE 2744 | MAYBE 60081 |
| tpdb-8.0/LP/LP/SGST06/ifdiv.pl | MAYBE 24355 | TIMEOUT 60135 | NO 60073 |
| tpdb-8.0/LP/LP/SGST06/incomplete2.pl | YES 959 | YES 772 | MAYBE 60085 |
| tpdb-8.0/LP/LP/SGST06/incomplete_variant.pl | YES 843 | YES 97 | MAYBE 60077 |
| tpdb-8.0/LP/LP/SGST06/log.pl | YES 1233 | YES 2054 | MAYBE 60060 |
| tpdb-8.0/LP/LP/SGST06/palindrome.pl | YES 1484 | YES 1618 | MAYBE 60060 |
| tpdb-8.0/LP/LP/SGST06/paper1.pl | YES 1004 | YES 758 | MAYBE 60075 |
| tpdb-8.0/LP/LP/SGST06/rev.pl | YES 2262 | YES 4054 | MAYBE 60076 |
| tpdb-8.0/LP/LP/SGST06/samefringe.pl | YES 1451 | YES 2681 | MAYBE 60071 |
| tpdb-8.0/LP/LP/SGST06/snake.pl | TIMEOUT 60507 | YES 6525 | MAYBE 60079 |
| tpdb-8.0/LP/LP/SGST06/transpose2.pl | MAYBE 2203 | MAYBE 8243 | NO 60074 |
| tpdb-8.0/LP/LP/SGST06/transpose-fb.pl | YES 1975 | YES 18257 | MAYBE 60082 |
| tpdb-8.0/LP/LP/talp_apt/fold.pl | YES 850 | YES 781 | MAYBE 60086 |
| tpdb-8.0/LP/LP/talp_apt/list.pl | YES 1002 | YES 721 | MAYBE 60123 |
| tpdb-8.0/LP/LP/talp_apt/member.pl | YES 964 | YES 697 | MAYBE 60085 |
| tpdb-8.0/LP/LP/talp_apt/mergesort_ap.pl | YES 5954 | YES 31429 | MAYBE 60088 |
| tpdb-8.0/LP/LP/talp_apt/naive_rev.pl | YES 1070 | YES 1310 | MAYBE 60072 |
| tpdb-8.0/LP/LP/talp_apt/ordered.pl | YES 1387 | YES 1453 | MAYBE 60073 |
| tpdb-8.0/LP/LP/talp_apt/overlap.pl | YES 1066 | YES 1352 | MAYBE 60084 |
| tpdb-8.0/LP/LP/talp_apt/permutation.pl | YES 1403 | YES 2373 | MAYBE 60090 |
| tpdb-8.0/LP/LP/talp_apt/quicksort-oi.pl | MAYBE 49568 | MAYBE 982 | NO 60076 |
| tpdb-8.0/LP/LP/talp_apt/subset1.pl | MAYBE 9547 | MAYBE 1501 | NO 60075 |
| tpdb-8.0/LP/LP/talp_dds/append.pl | YES 947 | YES 711 | MAYBE 60086 |
| tpdb-8.0/LP/LP/talp_dds/dis_con-bis.pl | YES 1058 | YES 956 | MAYBE 60084 |
| tpdb-8.0/LP/LP/talp_dds/dis_con.pl | YES 1069 | YES 963 | MAYBE 60085 |
| tpdb-8.0/LP/LP/talp_dds/duplicate.pl | YES 952 | YES 711 | MAYBE 60086 |
| tpdb-8.0/LP/LP/talp_dds/merge.pl | YES 1653 | YES 4285 | MAYBE 60079 |
| tpdb-8.0/LP/LP/talp_dds/permute.pl | YES 1229 | YES 1567 | MAYBE 60073 |
| tpdb-8.0/LP/LP/talp_dds/reverse-iio.pl | YES 974 | YES 712 | MAYBE 60098 |
| tpdb-8.0/LP/LP/talp_dds/reverse.pl | YES 950 | YES 704 | MAYBE 60081 |
| tpdb-8.0/LP/LP/talp_dds/sum-ioi.pl | YES 1028 | YES 1463 | MAYBE 60083 |
| tpdb-8.0/LP/LP/talp_dds/sum.pl | YES 1014 | YES 1648 | MAYBE 60087 |
| tpdb-8.0/LP/LP/talp_mixed/bad_sublist.pl | MAYBE 2315 | MAYBE 1387 | NO 60078 |
| tpdb-8.0/LP/LP/talp_mixed/fib_t.pl | YES 1195 | YES 2996 | MAYBE 60081 |
| tpdb-8.0/LP/LP/talp_mixed/flat-oi.pl | MAYBE 2060 | MAYBE 3083 | NO 60087 |
| tpdb-8.0/LP/LP/talp_mixed/perm.pl | YES 1531 | YES 2541 | MAYBE 60087 |
| tpdb-8.0/LP/LP/talp_mixed/permute1.pl | YES 1458 | YES 2360 | MAYBE 60075 |
| tpdb-8.0/LP/LP/talp_mixed/p.pl | YES 1012 | YES 1422 | MAYBE 60095 |
| tpdb-8.0/LP/LP/talp_mixed/qicksort.pl | YES 2871 | YES 8044 | MAYBE 60079 |
| tpdb-8.0/LP/LP/talp_mixed/queens.pl | YES 2441 | YES 6042 | MAYBE 60074 |
| tpdb-8.0/LP/LP/talp_mixed/rotate.pl | YES 1119 | YES 1357 | MAYBE 60081 |
| tpdb-8.0/LP/LP/talp_mixed/sublist1.pl | YES 1018 | YES 709 | MAYBE 60088 |
| tpdb-8.0/LP/LP/talp_plumer/pl1.1.pl | MAYBE 1968 | MAYBE 661 | NO 60082 |
| tpdb-8.0/LP/LP/talp_plumer/pl3.1.1.pl | MAYBE 2957 | MAYBE 683 | NO 60093 |
| tpdb-8.0/LP/LP/talp_plumer/pl3.5.6a.pl | YES 843 | MAYBE 815 | MAYBE 60075 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.0.1-oooi.pl | MAYBE 2260 | MAYBE 654 | NO 60081 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.0.1.pl | YES 1046 | YES 743 | MAYBE 60075 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.4.6a.pl | YES 1098 | YES 1337 | MAYBE 60097 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.5.3a.pl | MAYBE 1932 | MAYBE 655 | NO 60096 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.2.1a.pl | YES 3221 | YES 11504 | MAYBE 60087 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.3.1a.pl | YES 2921 | YES 6215 | MAYBE 60088 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.3.1.pl | TIMEOUT 60504 | MAYBE 13291 | MAYBE 60088 |
| tpdb-8.0/LP/LP/talp_talp/evaluate.pl | YES 2124 | YES 10247 | MAYBE 60076 |
| tpdb-8.0/LP/LP/talp_talp/flat.pl | YES 1348 | YES 1963 | MAYBE 60085 |
| tpdb-8.0/LP/LP/talp_talp/gcd.pl | YES 2458 | YES 5102 | MAYBE 60063 |
| tpdb-8.0/LP/LP/talp_talp/normal.pl | YES 1346 | YES 1711 | MAYBE 60089 |
| tpdb-8.0/LP/LP/talp_talp/palindrome.pl | YES 1075 | YES 695 | MAYBE 60053 |
| tpdb-8.0/LP/LP/talp_talp/perm.pl | YES 1400 | YES 2304 | MAYBE 60080 |
| tpdb-8.0/LP/LP/talp_talp/permute.pl | YES 1227 | YES 1553 | MAYBE 60071 |
| tpdb-8.0/LP/LP/talp_talp/reminder.pl | YES 1717 | YES 2292 | MAYBE 60083 |
| tpdb-8.0/LP/LP/talp_talp/simple.pl | YES 832 | YES 88 | MAYBE 60063 |
| tpdb-8.0/LP/LP/talp_talp/transitive_closure.pl | YES 909 | YES 760 | MAYBE 60096 |
| tpdb-8.0/LP/LP/terminweb_new/basic_append.pl | YES 1025 | YES 697 | MAYBE 60064 |
| tpdb-8.0/LP/LP/terminweb_new/der.pl | YES 2364 | YES 10311 | MAYBE 60091 |
| tpdb-8.0/LP/LP/terminweb_new/NJ1.pl | YES 1043 | YES 724 | MAYBE 60098 |
| tpdb-8.0/LP/LP/terminweb_new/NJ2.pl | YES 997 | YES 776 | MAYBE 60074 |
| tpdb-8.0/LP/LP/terminweb_new/NJ3.pl | YES 1139 | YES 5437 | MAYBE 60079 |
| tpdb-8.0/LP/LP/terminweb_new/NJ4.pl | YES 1107 | YES 693 | MAYBE 60083 |
| tpdb-8.0/LP/LP/terminweb_new/preorder_dl.pl | YES 1091 | YES 2026 | MAYBE 60111 |
| tpdb-8.0/LP/LP/terminweb_new/som.pl | YES 1055 | YES 737 | MAYBE 60079 |
| tpdb-8.0/LP/LP/terminweb_new/transpose.pl | YES 1178 | YES 3620 | MAYBE 60087 |
| tpdb-8.0/LP/LP/terminweb_new/type-based_append.pl | YES 938 | YES 687 | MAYBE 60070 |
| tpdb-8.0/LP/LP/terminweb_old/append3-bis.pl | YES 1047 | YES 722 | MAYBE 60086 |
| tpdb-8.0/LP/LP/terminweb_old/append3.pl | YES 1083 | YES 713 | MAYBE 60084 |
| tpdb-8.0/LP/LP/terminweb_old/inorder.pl | YES 1196 | YES 2396 | MAYBE 60089 |
| tpdb-8.0/LP/LP/terminweb_old/interleave.pl | YES 964 | YES 694 | MAYBE 60084 |
| tpdb-8.0/LP/LP/terminweb_old/permutation1.pl | YES 1398 | YES 2370 | MAYBE 60076 |
| tpdb-8.0/LP/LP/terminweb_old/permutation2.pl | YES 1236 | YES 1592 | MAYBE 60099 |
| tpdb-8.0/LP/LP/terminweb_old/rotate.pl | YES 1124 | YES 1312 | MAYBE 60075 |
| tpdb-8.0/LP/LP/terminweb_old/sameleaves.pl | YES 1579 | YES 1794 | MAYBE 60086 |
| tpdb-8.0/LP/LP/terminweb_old/sublist_bad.pl | MAYBE 2145 | MAYBE 1258 | NO 60077 |
| tpdb-8.0/LP/LP/terminweb_old/subset-no.pl | MAYBE 9706 | MAYBE 1583 | NO 60083 | 100 | 97 | 19 |