| benchmark | AProVE | polytool | pTNT |
|---|---|---|---|
| tpdb-8.0/LP/LP/BCGGV05/append-bff.pl | YES 929 | YES 622 | MAYBE 60026 |
| tpdb-8.0/LP/LP/BCGGV05/delete-bbf.pl | YES 1373 | YES 2768 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/delmin-bff.pl | YES 1030 | YES 661 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/der-bf.pl | YES 2326 | YES 11684 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/flat-fb.pl | MAYBE 2010 | MAYBE 1317 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/inorder-fb.pl | MAYBE 8588 | MAYBE 1050 | NO 60021 |
| tpdb-8.0/LP/LP/BCGGV05/insert-bbf.pl | YES 1270 | YES 2115 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/length1.pl | YES 938 | YES 628 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/map_color.pl | YES 875 | YES 3592 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/minimum-fb.pl | MAYBE 1617 | MAYBE 578 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/mult.pl | YES 1037 | YES 1329 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/naive_reverse-bf.pl | YES 1056 | YES 1220 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/naive_reverse-fb.pl | MAYBE 1892 | MAYBE 679 | NO 60016 |
| tpdb-8.0/LP/LP/BCGGV05/ordered.pl | YES 1225 | YES 1460 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/permutation-bf.pl | YES 1306 | YES 2289 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/p_nonlin.pl | YES 2122 | YES 4453 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/prefix-bf.pl | YES 960 | YES 640 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/reverse-fb.pl | MAYBE 1624 | MAYBE 636 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/search_tree.pl | YES 1530 | YES 2148 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/select-bff.pl | MAYBE 1608 | MAYBE 578 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/slowsort-bb.pl | YES 1557 | YES 4024 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/slowsort-bf.pl | YES 1715 | YES 3975 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/subset-bf.pl | MAYBE 1805 | MAYBE 1320 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/sum-fbf.pl | YES 928 | YES 619 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/transpose-fb.pl | YES 1692 | YES 18246 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/ackermann-ioi.pl | MAYBE 3102 | MAYBE 2530 | NO 60018 |
| tpdb-8.0/LP/LP/lpexamples/ackermann.pl | YES 1039 | YES 6802 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/average-ioi.pl | YES 1017 | YES 1411 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/average.pl | YES 1069 | YES 1498 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/lategen.pl | YES 805 | MAYBE 1323 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/log2a.pl | YES 1308 | YES 1809 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/log2b-oi.pl | MAYBE 22769 | MAYBE 1148 | NO 60017 |
| tpdb-8.0/LP/LP/lpexamples/log2b.pl | YES 1364 | YES 1567 | MAYBE 60016 |
| tpdb-8.0/LP/LP/lpexamples/mapcolor.pl | TIMEOUT 60753 | MAYBE 1559 | NO 60016 |
| tpdb-8.0/LP/LP/lpexamples/shapes.pl | YES 3889 | TIMEOUT 60039 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/ts08.pl | YES 955 | YES 617 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/ackermann.pl | YES 1036 | YES 6818 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/avg-bfb.pl | YES 1003 | YES 1411 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/bappend.pl | YES 1064 | YES 1250 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/blist.pl | YES 989 | YES 1224 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/btapplast.pl | YES 1380 | YES 2025 | MAYBE 60020 |
| tpdb-8.0/LP/LP/SGST06/btree.pl | YES 1237 | YES 1384 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/cnfequiv.pl | YES 2871 | MAYBE 3777 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/convert.pl | YES 1331 | YES 2669 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/countstack.pl | YES 1126 | YES 1986 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/d.pl | YES 2577 | TIMEOUT 60032 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/ifminus.pl | YES 1283 | YES 1984 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/incomplete_variant.pl | YES 767 | YES 51 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/lessleaves.pl | YES 1280 | YES 1509 | MAYBE 60022 |
| tpdb-8.0/LP/LP/SGST06/paper1.pl | YES 968 | YES 695 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/pplus.pl | YES 908 | YES 760 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/psk09-maxsort-bool-nocut.pl | YES 15426 | TIMEOUT 60070 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/snake.pl | TIMEOUT 60332 | YES 6355 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/transpose-fb.pl | YES 1736 | YES 18208 | MAYBE 60023 |
| tpdb-8.0/LP/LP/talp_apt/map1.pl | YES 941 | YES 686 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/mergesort_ap.pl | YES 5599 | YES 30751 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/mergesort.pl | YES 4896 | TIMEOUT 60090 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/naive_rev-oi.pl | MAYBE 1846 | MAYBE 648 | NO 60017 |
| tpdb-8.0/LP/LP/talp_apt/ordered.pl | YES 1230 | YES 1417 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/permutation.pl | YES 1312 | YES 2225 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/quicksort.pl | YES 2520 | YES 8291 | MAYBE 60024 |
| tpdb-8.0/LP/LP/talp_apt/SS_map.pl | TIMEOUT 60726 | MAYBE 1699 | NO 60016 |
| tpdb-8.0/LP/LP/talp_apt/SS_map_t.pl | TIMEOUT 60564 | MAYBE 1598 | NO 60017 |
| tpdb-8.0/LP/LP/talp_apt/subset.pl | YES 1213 | YES 1336 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/sum.pl | YES 959 | YES 620 | MAYBE 60020 |
| tpdb-8.0/LP/LP/talp_dds/append.pl | YES 953 | YES 629 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/dis_con-bis.pl | YES 1087 | YES 885 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/dis_con.pl | YES 1051 | YES 881 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/duplicate.pl | YES 907 | YES 632 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_dds/merge.pl | YES 1486 | YES 4038 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_dds/permute.pl | YES 1206 | YES 1400 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/reverse-iio.pl | YES 933 | YES 625 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/reverse.pl | YES 928 | YES 640 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_dds/sum-ioi.pl | YES 1175 | YES 1486 | MAYBE 60020 |
| tpdb-8.0/LP/LP/talp_dds/sum.pl | YES 1178 | YES 1524 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/bad_sublist.pl | MAYBE 1800 | MAYBE 1271 | NO 60016 |
| tpdb-8.0/LP/LP/talp_mixed/fib_t.pl | YES 1295 | YES 4077 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/flat-oi.pl | MAYBE 1626 | MAYBE 2925 | NO 60016 |
| tpdb-8.0/LP/LP/talp_mixed/hanoiapp.suc.pl | YES 1496 | YES 5058 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/perm.pl | YES 1236 | YES 2350 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/queens.pl | YES 2255 | YES 6009 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/reverse.pl | YES 962 | YES 633 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/rotate.pl | YES 1069 | YES 1242 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/sameleaves.pl | YES 1424 | YES 1706 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/sublist1.pl | YES 973 | YES 630 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_mixed/zebra.pl | YES 2208 | YES 1892 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl1.1.pl | MAYBE 1623 | MAYBE 590 | NO 60019 |
| tpdb-8.0/LP/LP/talp_plumer/pl1.2.pl | YES 1303 | YES 2240 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl1.2_t.pl | YES 1618 | YES 3904 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl3.5.6.pl | MAYBE 2402 | MAYBE 709 | NO 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.4.3.pl | YES 1634 | YES 3213 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.5.3a.pl | MAYBE 1668 | MAYBE 571 | NO 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl6.1.1.pl | YES 2710 | YES 5915 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl7.6.2a.pl | MAYBE 17443 | MAYBE 2334 | NO 60020 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.2.1a.pl | YES 3642 | YES 13926 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.3.1.pl | TIMEOUT 60601 | MAYBE 10160 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.4.1.pl | YES 911 | YES 628 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/binary3.pl | YES 2488 | YES 6367 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/example1.pl | YES 776 | YES 50 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_talp/example4.pl | YES 911 | YES 613 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/flat.pl | YES 1142 | YES 1864 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/gcd.pl | YES 2090 | YES 4882 | MAYBE 60020 |
| tpdb-8.0/LP/LP/talp_talp/normal.pl | YES 1329 | YES 1593 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_talp/palindrome.pl | YES 973 | YES 640 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/perm.pl | YES 1321 | YES 2280 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/reminder-ioi.pl | YES 1756 | YES 2171 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/slowsort-oi.pl | MAYBE 1995 | MAYBE 2850 | NO 60017 |
| tpdb-8.0/LP/LP/talp_talp/slowsort.pl | YES 1621 | YES 2835 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/append-ooi.pl | YES 918 | YES 621 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/backwards_append.pl | YES 929 | YES 627 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/basic_append.pl | YES 933 | YES 630 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/der.pl | YES 2547 | YES 11872 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/NJ2.pl | YES 951 | YES 710 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/NJ4.pl | YES 982 | YES 621 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/NJ5.pl | YES 983 | YES 1274 | MAYBE 60037 |
| tpdb-8.0/LP/LP/terminweb_new/NJ6.pl | YES 1007 | YES 1224 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/som.pl | YES 964 | YES 656 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_new/transpose.pl | YES 1247 | YES 3527 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_new/ways.pl | YES 4419 | YES 12309 | MAYBE 60020 |
| tpdb-8.0/LP/LP/terminweb_old/ackerman.pl | YES 1021 | YES 6876 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/append3.pl | YES 1187 | YES 632 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/balance_tree2.pl | MAYBE 4583 | TIMEOUT 60030 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/inorder.pl | YES 1261 | YES 2195 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/rotate.pl | YES 1027 | YES 1215 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_old/sameleaves.pl | YES 1434 | YES 1757 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/sublist0.pl | YES 1011 | YES 640 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_old/sublist_bad.pl | MAYBE 1801 | MAYBE 1218 | NO 60017 |
| tpdb-8.0/LP/LP/terminweb_old/subset-no.pl | MAYBE 9215 | MAYBE 1450 | NO 60017 |
| tpdb-8.0/LP/LP/terminweb_old/subset.pl | YES 1175 | YES 1317 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/untupled_bal_tree.pl | YES 1753 | MAYBE 28877 | MAYBE 60017 | 105 | 99 | 22 |