| benchmark | AProVE | polytool | pTNT |
|---|---|---|---|
| tpdb-8.0/LP/LP/BCGGV05/ackerman.pl | YES 1439 | YES 5996 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/append-bff.pl | YES 1323 | YES 829 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/append-ffb.pl | YES 1338 | YES 828 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/delete-bbf.pl | YES 1791 | YES 3786 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/delete-bfb.pl | YES 1779 | YES 3790 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/delete-bff.pl | MAYBE 3685 | MAYBE 3048 | NO 60019 |
| tpdb-8.0/LP/LP/BCGGV05/delete-fbf.pl | YES 2121 | YES 4717 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/delete-ffb.pl | YES 2084 | YES 4747 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/delmin-bff.pl | YES 1436 | YES 868 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/delmin-ffb.pl | YES 1425 | YES 869 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/der-bf.pl | YES 2462 | YES 10291 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/der-fb.pl | MAYBE 12189 | TIMEOUT 60031 | NO 60019 |
| tpdb-8.0/LP/LP/BCGGV05/factor.pl | YES 2110 | YES 2979 | MAYBE 60028 |
| tpdb-8.0/LP/LP/BCGGV05/flat-bf.pl | YES 1433 | YES 1885 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/flat-fb.pl | MAYBE 2060 | MAYBE 1780 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-bbf.pl | YES 1378 | YES 2062 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-bfb.pl | YES 1365 | YES 1978 | MAYBE 60019 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-bff.pl | YES 1378 | YES 2007 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-fbf.pl | MAYBE 2483 | MAYBE 1257 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-ffb.pl | MAYBE 2076 | MAYBE 1945 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/frontier-bf.pl | YES 1619 | YES 2196 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/frontier-fb.pl | MAYBE 6748 | MAYBE 1465 | NO 60019 |
| tpdb-8.0/LP/LP/BCGGV05/g.pl | MAYBE 2354 | MAYBE 973 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/in-bf.pl | MAYBE 3052 | MAYBE 1423 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/in-fb.pl | YES 1848 | YES 3817 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/inorder-bf.pl | YES 1550 | YES 3438 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/inorder-fb.pl | MAYBE 6610 | MAYBE 1357 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/insert-bbf.pl | YES 1603 | YES 2838 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/insert-bfb.pl | YES 1640 | YES 2853 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/insert-bff.pl | MAYBE 3178 | MAYBE 3026 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/insert-fbf.pl | YES 1976 | YES 3910 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/insert-ffb.pl | YES 1979 | YES 3886 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/length1.pl | YES 1370 | YES 851 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/length.pl | YES 1333 | YES 828 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/less-bf.pl | YES 1306 | YES 774 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/less-fb.pl | YES 1327 | YES 766 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/list.pl | YES 1300 | YES 815 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/map_color.pl | YES 1235 | YES 3569 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/maximum-bff.pl | YES 1407 | YES 1618 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/maximum-fbf.pl | YES 1422 | YES 1514 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/maximum-ffb.pl | YES 1392 | YES 839 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/member-bf.pl | MAYBE 2123 | MAYBE 761 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/member-fb.pl | YES 1343 | YES 821 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/mergesort.pl | MAYBE 12260 | MAYBE 15540 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/minimum-bf.pl | YES 1343 | YES 836 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/minimum-fb.pl | MAYBE 2034 | MAYBE 749 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/mult.pl | YES 1471 | YES 1635 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/naive_reverse-bf.pl | YES 1488 | YES 1624 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/naive_reverse-fb.pl | MAYBE 2700 | MAYBE 800 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/numeral.pl | YES 1295 | YES 761 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/ordered.pl | YES 1617 | YES 1926 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/palindrome.pl | YES 1379 | YES 899 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/parse.pl | YES 2095 | YES 12886 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/permutation1-fb.pl | YES 1514 | YES 1906 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/permutation-bf.pl | YES 1711 | YES 3061 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/permutation-fb.pl | MAYBE 2445 | MAYBE 2042 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/p_nonlin.pl | YES 2896 | YES 5150 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/p.pl | YES 2218 | YES 5061 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/prefix-bf.pl | YES 1366 | YES 840 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/prefix-fb.pl | YES 1357 | YES 832 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/quicksort-bf.pl | YES 2555 | YES 7374 | MAYBE 60019 |
| tpdb-8.0/LP/LP/BCGGV05/quicksort-fb.pl | MAYBE 13279 | MAYBE 1095 | NO 60019 |
| tpdb-8.0/LP/LP/BCGGV05/reverse-bf.pl | YES 1348 | YES 889 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/reverse-fb.pl | MAYBE 3042 | MAYBE 838 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/search_tree.pl | YES 1872 | YES 2779 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/select-bff.pl | MAYBE 2036 | MAYBE 772 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/select-fbf.pl | YES 1353 | YES 818 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/select-ffb.pl | YES 1340 | YES 822 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/slowsort-bb.pl | YES 1971 | YES 5404 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/slowsort-bf.pl | YES 2302 | YES 5435 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/slowsort-fb.pl | MAYBE 3576 | MAYBE 5269 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/sublist-bf.pl | MAYBE 2120 | MAYBE 798 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/sublist-fb.pl | YES 1382 | YES 842 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/subset-bf.pl | MAYBE 2113 | MAYBE 1721 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/subset-fb.pl | MAYBE 2244 | MAYBE 1889 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/suffix-bf.pl | MAYBE 2047 | MAYBE 802 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/suffix-fb.pl | YES 1383 | YES 839 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/sum-fbf.pl | YES 1318 | YES 824 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/sum-ffb.pl | YES 1322 | YES 770 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/t.pl | YES 1765 | YES 3918 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/transpose-bb.pl | YES 1646 | YES 5557 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/transpose-bf.pl | YES 1597 | YES 14010 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/transpose-fb.pl | YES 2100 | YES 18569 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/tree_member-bf.pl | MAYBE 2079 | MAYBE 777 | NO 60018 |
| tpdb-8.0/LP/LP/BCGGV05/tree_member-fb.pl | YES 1393 | YES 832 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/tree.pl | YES 1360 | YES 986 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/ackermann-ioi.pl | MAYBE 4609 | MAYBE 2869 | NO 60019 |
| tpdb-8.0/LP/LP/lpexamples/ackermann.pl | YES 1430 | YES 5978 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/average-ioi.pl | YES 1493 | YES 1847 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/average.pl | YES 1453 | YES 2046 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/lategen.pl | YES 1151 | MAYBE 1730 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/log2a-oi.pl | MAYBE 5042 | MAYBE 1005 | NO 60018 |
| tpdb-8.0/LP/LP/lpexamples/log2a.pl | YES 1754 | YES 2370 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/log2b-oi.pl | MAYBE 29650 | MAYBE 1412 | NO 60018 |
| tpdb-8.0/LP/LP/lpexamples/log2b.pl | YES 1796 | YES 2120 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/mapcolor.pl | MAYBE 4311 | MAYBE 1922 | NO 60018 |
| tpdb-8.0/LP/LP/lpexamples/mergesort-oi.pl | MAYBE 10578 | MAYBE 9983 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/mergesort.pl | YES 3938 | YES 14101 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/shapes.pl | YES 3118 | TIMEOUT 60039 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/ts08.pl | YES 1364 | YES 837 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/ackermann.pl | YES 1456 | YES 5999 | MAYBE 60026 |
| tpdb-8.0/LP/LP/SGST06/ag01.pl | YES 1346 | YES 842 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/applast.pl | YES 1602 | YES 2611 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/at.pl | YES 1144 | YES 66 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/avg-bfb.pl | YES 1392 | YES 1809 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/avg.pl | YES 1428 | YES 1177 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/baby91.pl | TIMEOUT 60725 | TIMEOUT 60056 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/bappend.pl | YES 1398 | YES 1649 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/blist.pl | YES 1390 | YES 1628 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/btappend.pl | YES 1659 | YES 1751 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/btapplast.pl | YES 1830 | YES 2737 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/btree.pl | YES 1630 | YES 1847 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/cconfdel.pl | YES 1821 | YES 3218 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/cnfequiv.pl | YES 2882 | MAYBE 3490 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/confdel.pl | YES 1816 | YES 3235 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/convert.pl | YES 1692 | YES 3616 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/countstack.pl | YES 1448 | YES 2706 | MAYBE 60021 |
| tpdb-8.0/LP/LP/SGST06/csnake.pl | TIMEOUT 60402 | YES 8041 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/doublehalfpred.pl | MAYBE 46210 | TIMEOUT 60058 | NO 60018 |
| tpdb-8.0/LP/LP/SGST06/d.pl | YES 2457 | TIMEOUT 60034 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/evenodd.pl | YES 1325 | YES 949 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/factor.pl | YES 2104 | YES 2928 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/flatten_phd.pl | YES 2023 | YES 10041 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/flatten.pl | YES 1471 | YES 3103 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/giesl97.pl | YES 1469 | YES 1097 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/gopher.pl | YES 1367 | YES 1039 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/hbal_tree.pl | YES 1905 | MAYBE 2561 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/ifdiv.pl | MAYBE 26934 | TIMEOUT 60066 | NO 60019 |
| tpdb-8.0/LP/LP/SGST06/ifminus.pl | YES 1632 | YES 2546 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/incomplete2.pl | YES 1315 | YES 964 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/incomplete.pl | YES 1325 | YES 762 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/incomplete_variant.pl | YES 1118 | YES 52 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/intlist.pl | YES 1492 | YES 1889 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/lessleaves.pl | YES 1685 | YES 2029 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/log.pl | YES 1701 | YES 2355 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/mapcolor.pl | MAYBE 4688 | MAYBE 1919 | NO 60018 |
| tpdb-8.0/LP/LP/SGST06/palindrome.pl | YES 1837 | YES 2030 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/paper1.pl | YES 1322 | YES 994 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/paper2.pl | YES 1378 | YES 991 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/parse.pl | YES 2093 | YES 4953 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/perm.pl | YES 1553 | YES 2718 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/plus.pl | YES 1313 | YES 769 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/p_nonlin.pl | YES 2976 | YES 5178 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/p.pl | YES 2099 | YES 4960 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/pplus2.pl | YES 1486 | YES 2317 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/pplus.pl | YES 1338 | YES 1021 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/preorder.pl | YES 1508 | YES 2592 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/prime.pl | YES 2904 | YES 7642 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/psk09-append_variant.pl | MAYBE 2002 | MAYBE 818 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/psk09-maxsort-bool-nocut.pl | YES 12622 | TIMEOUT 60051 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/quot.pl | YES 1389 | YES 2020 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/rev.pl | YES 2290 | YES 4265 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/samefringe.pl | YES 1801 | YES 3024 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/shuffle.pl | YES 1705 | YES 3248 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/snake.pl | TIMEOUT 60412 | YES 8143 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/times2.pl | YES 2237 | YES 6918 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/times.pl | YES 1367 | YES 1734 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/toyama.pl | YES 1105 | YES 48 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/transpose2.pl | MAYBE 2118 | MAYBE 8245 | NO 60017 |
| tpdb-8.0/LP/LP/SGST06/transpose-fb.pl | YES 2140 | YES 18281 | MAYBE 60019 |
| tpdb-8.0/LP/LP/SGST06/weight.pl | YES 2056 | YES 3733 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/append.pl | YES 1353 | YES 846 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/fold.pl | YES 1163 | YES 958 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/list.pl | YES 1303 | YES 808 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/lte.pl | YES 1404 | YES 1619 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/map1.pl | YES 1340 | YES 892 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/map.pl | YES 1328 | YES 907 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/member.pl | YES 1323 | YES 814 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/mergesort_ap.pl | YES 5608 | YES 29608 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_apt/mergesort.pl | YES 5308 | TIMEOUT 60054 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/naive_rev-oi.pl | MAYBE 2608 | MAYBE 810 | NO 60018 |
| tpdb-8.0/LP/LP/talp_apt/naive_rev.pl | YES 1468 | YES 1638 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_apt/ordered.pl | YES 1627 | YES 1972 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/overlap.pl | YES 1401 | YES 1657 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_apt/permutation.pl | YES 1655 | YES 2993 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/quicksort-oi.pl | MAYBE 55055 | MAYBE 1153 | NO 60018 |
| tpdb-8.0/LP/LP/talp_apt/quicksort.pl | YES 2788 | YES 9679 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/select1.pl | YES 1343 | YES 821 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/select.pl | YES 1317 | YES 815 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_apt/SS_map_out.pl | MAYBE 4395 | MAYBE 2310 | NO 60018 |
| tpdb-8.0/LP/LP/talp_apt/SS_map.pl | MAYBE 4263 | MAYBE 2060 | NO 60019 |
| tpdb-8.0/LP/LP/talp_apt/SS_map_t.pl | MAYBE 4337 | MAYBE 2010 | NO 60019 |
| tpdb-8.0/LP/LP/talp_apt/subset1.pl | MAYBE 2247 | MAYBE 1915 | NO 60017 |
| tpdb-8.0/LP/LP/talp_apt/subset.pl | YES 1446 | YES 1803 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_apt/sum.pl | YES 1324 | YES 836 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/append.pl | YES 1320 | YES 839 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/dis_con-bis.pl | YES 1488 | YES 1242 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/dis_con.pl | YES 1483 | YES 1250 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_dds/duplicate.pl | YES 1306 | YES 832 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/merge.pl | YES 1930 | YES 5526 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_dds/permute.pl | YES 1528 | YES 1926 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/reverse-iio.pl | YES 1329 | YES 833 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/reverse.pl | YES 1326 | YES 821 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/sum-ioi.pl | YES 1371 | YES 1930 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/sum.pl | YES 1351 | YES 2029 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/ack.pl | YES 1406 | YES 5980 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/bad_sublist.pl | MAYBE 2183 | MAYBE 1712 | NO 60018 |
| tpdb-8.0/LP/LP/talp_mixed/fib_t.pl | YES 1616 | YES 3359 | MAYBE 60021 |
| tpdb-8.0/LP/LP/talp_mixed/flat-oi.pl | MAYBE 1986 | MAYBE 3707 | NO 60018 |
| tpdb-8.0/LP/LP/talp_mixed/flat.pl | YES 1656 | YES 2786 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/hanoiapp.suc.pl | YES 1922 | YES 4653 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/mergesort.pl | YES 5582 | TIMEOUT 60053 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_mixed/perm.pl | YES 1684 | YES 3107 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/permute1.pl | YES 1665 | YES 2972 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_mixed/p.pl | YES 1321 | YES 1716 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/qicksort.pl | YES 2816 | YES 9572 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/queens.pl | YES 2564 | YES 7435 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/reverse.pl | YES 1346 | YES 842 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/rotate.pl | YES 1481 | YES 1660 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/sameleaves.pl | YES 1817 | YES 2248 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/sicstus1.pl | YES 1376 | YES 858 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/sublist1.pl | YES 1397 | YES 835 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/sublist.pl | YES 1456 | YES 1671 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_mixed/zebra.pl | YES 2418 | YES 2452 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/mergesort_t.pl | YES 3972 | YES 28218 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl1.1.pl | MAYBE 2034 | MAYBE 793 | NO 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl1.2.pl | YES 1653 | YES 3006 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl1.2_t.pl | YES 1823 | YES 4300 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl2.3.1.pl | YES 1153 | YES 871 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl3.1.1.pl | MAYBE 2018 | MAYBE 804 | NO 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl3.5.6a.pl | YES 1144 | MAYBE 1014 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_plumer/pl3.5.6.pl | MAYBE 2123 | MAYBE 970 | NO 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.0.1-oooi.pl | MAYBE 2219 | MAYBE 788 | NO 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.0.1.pl | YES 1433 | YES 842 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.4.3.pl | YES 2069 | YES 4326 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.4.6a.pl | YES 1494 | YES 1630 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.5.2.pl | MAYBE 4781 | MAYBE 6662 | NO 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.5.3a.pl | MAYBE 1968 | MAYBE 771 | NO 60019 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.5.3b.pl | MAYBE 1990 | MAYBE 766 | NO 60113 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.5.3c.pl | MAYBE 2027 | MAYBE 762 | NO 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl5.2.2.pl | MAYBE 24425 | TIMEOUT 60045 | NO 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl6.1.1.pl | YES 2691 | YES 7106 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl7.2.9.pl | YES 1453 | YES 1644 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl7.6.2a.pl | MAYBE 7243 | MAYBE 3133 | NO 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl7.6.2b.pl | MAYBE 36749 | MAYBE 6081 | NO 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl7.6.2c.pl | YES 2298 | YES 5161 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.2.1a.pl | YES 2948 | YES 12467 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.2.1.pl | YES 4867 | TIMEOUT 60049 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.3.1a.pl | YES 2818 | YES 7517 | MAYBE 60022 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.3.1.pl | TIMEOUT 60738 | MAYBE 10739 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.4.1.pl | YES 1332 | YES 830 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.4.2.pl | YES 2082 | YES 2918 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/append.pl | YES 1374 | YES 872 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/binary2.pl | YES 2831 | YES 6446 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/binary3.pl | YES 3046 | YES 7865 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/binary4.pl | MAYBE 7591 | MAYBE 7885 | NO 60018 |
| tpdb-8.0/LP/LP/talp_talp/binary.pl | YES 2554 | YES 6728 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/div.pl | YES 1873 | YES 2804 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/evaluate.pl | YES 2159 | YES 10241 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/example1.pl | YES 1138 | YES 52 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/example4-2.pl | MAYBE 1901 | MAYBE 757 | NO 60017 |
| tpdb-8.0/LP/LP/talp_talp/example4.pl | YES 1307 | YES 762 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/flat.pl | YES 1538 | YES 2452 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/gcd.pl | YES 2449 | YES 6093 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/nat.pl | YES 1642 | YES 2801 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/normal.pl | YES 1614 | YES 2111 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/palindrome.pl | YES 1365 | YES 896 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/perm.pl | YES 1677 | YES 3003 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/permute.pl | YES 1546 | YES 1967 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/qsort.pl | YES 2889 | YES 8878 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/reminder-ioi.pl | YES 2158 | YES 2883 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/reminder.pl | YES 1894 | YES 2825 | MAYBE 60019 |
| tpdb-8.0/LP/LP/talp_talp/simple.pl | YES 1147 | YES 53 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/slowsort-oi.pl | MAYBE 3344 | MAYBE 3876 | NO 60018 |
| tpdb-8.0/LP/LP/talp_talp/slowsort.pl | YES 1937 | YES 3880 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/transitive_closure.pl | YES 1263 | YES 942 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/vangelder.pl | YES 4415 | YES 10665 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/append-ooi.pl | YES 1310 | YES 828 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/backwards_append.pl | YES 1310 | YES 832 | MAYBE 60019 |
| tpdb-8.0/LP/LP/terminweb_new/basic_append.pl | YES 1316 | YES 833 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/der.pl | YES 2475 | YES 10418 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/NJ1.pl | YES 1341 | YES 841 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/NJ2.pl | YES 1358 | YES 913 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/NJ3.pl | YES 1401 | YES 5998 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/NJ4.pl | YES 1409 | YES 826 | MAYBE 60019 |
| tpdb-8.0/LP/LP/terminweb_new/NJ5.pl | YES 1386 | YES 1740 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/NJ6.pl | YES 1430 | YES 1684 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/preorder_dl.pl | YES 1447 | YES 2588 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/som.pl | YES 1367 | YES 859 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/transpose.pl | YES 1557 | YES 3753 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/type-based_append.pl | YES 1327 | YES 831 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/ways.pl | YES 4225 | YES 10124 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/ackerman.pl | YES 1473 | YES 5967 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/append3-bis.pl | YES 1457 | YES 844 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/append3.pl | YES 1438 | YES 1044 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/balance_tree2.pl | MAYBE 4567 | TIMEOUT 60032 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/balance_tree.pl | YES 1750 | TIMEOUT 60031 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/inorder.pl | YES 1560 | YES 2965 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/interleave.pl | YES 1355 | YES 832 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/permutation1.pl | YES 1647 | YES 3058 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/permutation2.pl | YES 1512 | YES 1965 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/reach.pl | YES 2228 | YES 4234 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/rotate.pl | YES 1447 | YES 1621 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/sameleaves.pl | YES 1817 | YES 2244 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/sublist0.pl | YES 1448 | YES 837 | MAYBE 60028 |
| tpdb-8.0/LP/LP/terminweb_old/sublist_bad.pl | MAYBE 2105 | MAYBE 1617 | NO 60018 |
| tpdb-8.0/LP/LP/terminweb_old/sublist.pl | YES 1386 | YES 836 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/subset-no.pl | MAYBE 2236 | MAYBE 1894 | NO 60018 |
| tpdb-8.0/LP/LP/terminweb_old/subset.pl | YES 1414 | YES 1781 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_old/untupled_bal_tree.pl | YES 2224 | MAYBE 27895 | MAYBE 60018 | 237 | 227 | 55 |