| benchmark | AProVE | polytool | pTNT |
|---|---|---|---|
| tpdb-8.0/LP/LP/BCGGV05/flat-fb.pl | MAYBE 2054 | MAYBE 1781 | NO 60020 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-fbf.pl | MAYBE 2463 | MAYBE 1258 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-ffb.pl | MAYBE 2053 | MAYBE 1881 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/frontier-fb.pl | MAYBE 6832 | MAYBE 1460 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/g.pl | MAYBE 2703 | MAYBE 981 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/in-bf.pl | MAYBE 2976 | MAYBE 1367 | NO 60019 |
| tpdb-8.0/LP/LP/BCGGV05/inorder-fb.pl | MAYBE 6865 | MAYBE 1354 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/maximum-bff.pl | YES 1459 | YES 1614 | MAYBE 60019 |
| tpdb-8.0/LP/LP/BCGGV05/minimum-fb.pl | MAYBE 2035 | MAYBE 741 | NO 60019 |
| tpdb-8.0/LP/LP/BCGGV05/parse.pl | YES 2096 | YES 12409 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/permutation-bf.pl | YES 1660 | YES 3061 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/permutation-fb.pl | MAYBE 2424 | MAYBE 2046 | NO 60019 |
| tpdb-8.0/LP/LP/BCGGV05/prefix-fb.pl | YES 1367 | YES 847 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/tree_member-bf.pl | MAYBE 2062 | MAYBE 772 | NO 60018 |
| tpdb-8.0/LP/LP/lpexamples/average-ioi.pl | YES 1419 | YES 1838 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/average.pl | YES 1437 | YES 1956 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/lategen.pl | YES 1139 | MAYBE 1722 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/log2a-oi.pl | MAYBE 5264 | MAYBE 1009 | NO 60017 |
| tpdb-8.0/LP/LP/lpexamples/log2a.pl | YES 1741 | YES 2366 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/log2b.pl | YES 1802 | YES 2109 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/mapcolor.pl | MAYBE 4494 | MAYBE 1919 | NO 60019 |
| tpdb-8.0/LP/LP/lpexamples/mergesort.pl | YES 3991 | YES 12601 | MAYBE 60019 |
| tpdb-8.0/LP/LP/lpexamples/ts08.pl | YES 1370 | YES 834 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/ackermann.pl | YES 1428 | YES 5811 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/blist.pl | YES 1406 | YES 1623 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/gopher.pl | YES 1378 | YES 983 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/ifdiv.pl | MAYBE 26687 | TIMEOUT 60056 | NO 60019 |
| tpdb-8.0/LP/LP/SGST06/incomplete_variant.pl | YES 1108 | YES 52 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/paper1.pl | YES 1322 | YES 952 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/p.pl | YES 2071 | YES 5008 | MAYBE 60028 |
| tpdb-8.0/LP/LP/SGST06/psk09-maxsort-bool-nocut.pl | YES 11440 | TIMEOUT 60057 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/quot.pl | YES 1385 | YES 2022 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/snake.pl | TIMEOUT 60356 | YES 8060 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/list.pl | YES 1305 | YES 752 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/lte.pl | YES 1404 | YES 1635 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/mergesort.pl | YES 5897 | TIMEOUT 60052 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/naive_rev-oi.pl | MAYBE 2582 | MAYBE 794 | NO 60018 |
| tpdb-8.0/LP/LP/talp_apt/overlap.pl | YES 1401 | YES 1650 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/permutation.pl | YES 1666 | YES 2995 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/select1.pl | YES 1333 | YES 810 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/SS_map.pl | MAYBE 4079 | MAYBE 2107 | NO 60017 |
| tpdb-8.0/LP/LP/talp_apt/subset1.pl | MAYBE 2218 | MAYBE 1872 | NO 60017 |
| tpdb-8.0/LP/LP/talp_dds/append.pl | YES 1348 | YES 834 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_dds/dis_con-bis.pl | YES 1451 | YES 1246 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/duplicate.pl | YES 1322 | YES 832 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/merge.pl | YES 1976 | YES 5556 | MAYBE 60030 |
| tpdb-8.0/LP/LP/talp_dds/permute.pl | YES 1576 | YES 1966 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/reverse-iio.pl | YES 1326 | YES 833 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/reverse.pl | YES 1303 | YES 832 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/sum-ioi.pl | YES 1343 | YES 1940 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_dds/sum.pl | YES 1347 | YES 2020 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/ack.pl | YES 1438 | YES 6011 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/bad_sublist.pl | MAYBE 2189 | MAYBE 1724 | NO 60019 |
| tpdb-8.0/LP/LP/talp_mixed/mergesort.pl | YES 5745 | TIMEOUT 60050 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/permute1.pl | YES 1678 | YES 3004 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/p.pl | YES 1319 | YES 1692 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/reverse.pl | YES 1322 | YES 837 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/rotate.pl | YES 1488 | YES 1647 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_mixed/sameleaves.pl | YES 1818 | YES 2237 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/sicstus1.pl | YES 1374 | YES 858 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl1.2_t.pl | YES 1803 | YES 4297 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl3.1.1.pl | MAYBE 2012 | MAYBE 791 | NO 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl3.5.6.pl | MAYBE 2129 | MAYBE 966 | NO 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.0.1-oooi.pl | MAYBE 2220 | MAYBE 784 | NO 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.0.1.pl | YES 1414 | YES 837 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl7.6.2b.pl | MAYBE 35334 | MAYBE 6126 | NO 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl7.6.2c.pl | YES 2234 | YES 5127 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.2.1a.pl | YES 3003 | YES 12459 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.3.1.pl | TIMEOUT 60693 | MAYBE 10755 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/append.pl | YES 1380 | YES 861 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/binary4.pl | MAYBE 7657 | MAYBE 7805 | NO 60017 |
| tpdb-8.0/LP/LP/talp_talp/evaluate.pl | YES 2187 | YES 10381 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/example4.pl | YES 1312 | YES 768 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/flat.pl | YES 1535 | YES 2451 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/perm.pl | YES 1672 | YES 2994 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/qsort.pl | YES 2819 | YES 8990 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/reminder-ioi.pl | YES 2121 | YES 2865 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/vangelder.pl | YES 4236 | YES 10654 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/append-ooi.pl | YES 1309 | YES 829 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/backwards_append.pl | YES 1310 | YES 832 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/der.pl | YES 2440 | YES 10446 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/NJ2.pl | YES 1353 | YES 919 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/NJ3.pl | YES 1416 | YES 6003 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/NJ4.pl | YES 1395 | YES 821 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/NJ5.pl | YES 1399 | YES 1728 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/preorder_dl.pl | YES 1455 | YES 2546 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/type-based_append.pl | YES 1338 | YES 822 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/balance_tree2.pl | MAYBE 4706 | TIMEOUT 60032 | MAYBE 60019 |
| tpdb-8.0/LP/LP/terminweb_old/balance_tree.pl | YES 1734 | TIMEOUT 60033 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/inorder.pl | YES 1544 | YES 2961 | MAYBE 60019 |
| tpdb-8.0/LP/LP/terminweb_old/interleave.pl | YES 1336 | YES 820 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/reach.pl | YES 2284 | YES 4244 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/rotate.pl | YES 1454 | YES 1622 | MAYBE 60019 |
| tpdb-8.0/LP/LP/terminweb_old/sublist0.pl | YES 1471 | YES 835 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/sublist.pl | YES 1399 | YES 836 | MAYBE 60019 |
| tpdb-8.0/LP/LP/terminweb_old/subset.pl | YES 1404 | YES 1840 | MAYBE 60019 | 71 | 67 | 21 |