| benchmark | AProVE | polytool | pTNT |
|---|---|---|---|
| tpdb-8.0/LP/LP/BCGGV05/ackerman.pl | YES 1063 | YES 6724 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/append-bff.pl | YES 941 | YES 631 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/append-ffb.pl | YES 938 | YES 630 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/delete-bbf.pl | YES 1348 | YES 3002 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/delete-bfb.pl | YES 1346 | YES 2806 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/delete-bff.pl | MAYBE 26306 | MAYBE 2392 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/delete-fbf.pl | YES 1860 | YES 3410 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/delete-ffb.pl | YES 1630 | YES 3478 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/delmin-bff.pl | YES 1021 | YES 670 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/delmin-ffb.pl | YES 1046 | YES 675 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/der-bf.pl | YES 2540 | YES 11747 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/der-fb.pl | MAYBE 20902 | MAYBE 59648 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/factor.pl | YES 1641 | YES 2241 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/flat-bf.pl | YES 1153 | YES 1472 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/flat-fb.pl | MAYBE 2013 | MAYBE 1375 | NO 60016 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-bbf.pl | YES 1189 | YES 1472 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-bfb.pl | YES 1202 | YES 1448 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-bff.pl | YES 1212 | YES 1556 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-fbf.pl | MAYBE 2630 | MAYBE 972 | NO 60016 |
| tpdb-8.0/LP/LP/BCGGV05/flatlength-ffb.pl | MAYBE 1639 | MAYBE 1458 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/frontier-bf.pl | YES 1096 | YES 1646 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/frontier-fb.pl | MAYBE 9003 | MAYBE 1114 | NO 60016 |
| tpdb-8.0/LP/LP/BCGGV05/g.pl | MAYBE 2219 | MAYBE 781 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/in-bf.pl | MAYBE 20291 | MAYBE 1080 | NO 60016 |
| tpdb-8.0/LP/LP/BCGGV05/in-fb.pl | YES 1552 | YES 2789 | MAYBE 60015 |
| tpdb-8.0/LP/LP/BCGGV05/inorder-bf.pl | YES 1301 | YES 2649 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/inorder-fb.pl | MAYBE 8591 | MAYBE 1006 | NO 60016 |
| tpdb-8.0/LP/LP/BCGGV05/insert-bbf.pl | YES 1268 | YES 2140 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/insert-bfb.pl | YES 1290 | YES 2139 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/insert-bff.pl | MAYBE 17456 | MAYBE 2220 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/insert-fbf.pl | YES 1576 | YES 2922 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/insert-ffb.pl | YES 1669 | YES 2928 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/length1.pl | YES 954 | YES 638 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/length.pl | YES 930 | YES 629 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/less-bf.pl | YES 924 | YES 629 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/less-fb.pl | YES 939 | YES 628 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/list.pl | YES 925 | YES 621 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/map_color.pl | YES 881 | YES 3559 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/maximum-bff.pl | YES 1025 | YES 1229 | MAYBE 60015 |
| tpdb-8.0/LP/LP/BCGGV05/maximum-fbf.pl | YES 988 | YES 1223 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/maximum-ffb.pl | YES 966 | YES 635 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/member-bf.pl | MAYBE 1719 | MAYBE 568 | NO 60016 |
| tpdb-8.0/LP/LP/BCGGV05/member-fb.pl | YES 946 | YES 621 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/mergesort.pl | MAYBE 22233 | MAYBE 15719 | NO 60016 |
| tpdb-8.0/LP/LP/BCGGV05/minimum-bf.pl | YES 948 | YES 623 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/minimum-fb.pl | MAYBE 1619 | MAYBE 568 | NO 60016 |
| tpdb-8.0/LP/LP/BCGGV05/mult.pl | YES 1068 | YES 1239 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/naive_reverse-bf.pl | YES 1071 | YES 1285 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/naive_reverse-fb.pl | MAYBE 2024 | MAYBE 656 | NO 60015 |
| tpdb-8.0/LP/LP/BCGGV05/numeral.pl | YES 913 | YES 619 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/ordered.pl | YES 1216 | YES 1420 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/palindrome.pl | YES 983 | YES 652 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/parse.pl | YES 2121 | YES 12970 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/permutation1-fb.pl | YES 1204 | YES 1410 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/permutation-bf.pl | YES 1303 | YES 2329 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/permutation-fb.pl | MAYBE 1986 | MAYBE 1603 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/p_nonlin.pl | YES 2182 | YES 4482 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/p.pl | YES 1843 | YES 6145 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/prefix-bf.pl | YES 955 | YES 646 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/prefix-fb.pl | YES 957 | YES 646 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/quicksort-bf.pl | YES 2233 | YES 7888 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/quicksort-fb.pl | MAYBE 18572 | MAYBE 900 | NO 60016 |
| tpdb-8.0/LP/LP/BCGGV05/reverse-bf.pl | YES 956 | YES 644 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/reverse-fb.pl | MAYBE 1627 | MAYBE 647 | NO 60016 |
| tpdb-8.0/LP/LP/BCGGV05/search_tree.pl | YES 1535 | YES 2180 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/select-bff.pl | MAYBE 1654 | MAYBE 557 | NO 60016 |
| tpdb-8.0/LP/LP/BCGGV05/select-fbf.pl | YES 955 | YES 645 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/select-ffb.pl | YES 946 | YES 624 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/slowsort-bb.pl | YES 1531 | YES 4027 | MAYBE 60018 |
| tpdb-8.0/LP/LP/BCGGV05/slowsort-bf.pl | YES 1754 | YES 4022 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/slowsort-fb.pl | MAYBE 2315 | MAYBE 4268 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/sublist-bf.pl | MAYBE 1880 | MAYBE 603 | NO 60016 |
| tpdb-8.0/LP/LP/BCGGV05/sublist-fb.pl | YES 995 | YES 657 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/subset-bf.pl | MAYBE 1676 | MAYBE 1281 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/subset-fb.pl | MAYBE 10068 | MAYBE 1422 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/suffix-bf.pl | MAYBE 1638 | MAYBE 658 | NO 60016 |
| tpdb-8.0/LP/LP/BCGGV05/suffix-fb.pl | YES 952 | YES 664 | MAYBE 60015 |
| tpdb-8.0/LP/LP/BCGGV05/sum-fbf.pl | YES 939 | YES 629 | MAYBE 60015 |
| tpdb-8.0/LP/LP/BCGGV05/sum-ffb.pl | YES 953 | YES 630 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/t.pl | YES 1375 | YES 2995 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/transpose-bb.pl | YES 1210 | YES 4789 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/transpose-bf.pl | YES 1200 | YES 13697 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/transpose-fb.pl | YES 1672 | YES 18335 | MAYBE 60016 |
| tpdb-8.0/LP/LP/BCGGV05/tree_member-bf.pl | MAYBE 1643 | MAYBE 577 | NO 60017 |
| tpdb-8.0/LP/LP/BCGGV05/tree_member-fb.pl | YES 988 | YES 652 | MAYBE 60017 |
| tpdb-8.0/LP/LP/BCGGV05/tree.pl | YES 1198 | YES 735 | MAYBE 60016 |
| tpdb-8.0/LP/LP/lpexamples/ackermann-ioi.pl | MAYBE 3068 | MAYBE 2510 | NO 60016 |
| tpdb-8.0/LP/LP/lpexamples/ackermann.pl | YES 1040 | YES 6792 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/average-ioi.pl | YES 1005 | YES 1444 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/average.pl | YES 1111 | YES 1527 | MAYBE 60016 |
| tpdb-8.0/LP/LP/lpexamples/lategen.pl | YES 813 | MAYBE 1336 | MAYBE 60018 |
| tpdb-8.0/LP/LP/lpexamples/log2a-oi.pl | MAYBE 2791 | MAYBE 817 | NO 60017 |
| tpdb-8.0/LP/LP/lpexamples/log2a.pl | YES 1318 | YES 1815 | MAYBE 60016 |
| tpdb-8.0/LP/LP/lpexamples/log2b-oi.pl | MAYBE 23090 | MAYBE 1154 | NO 60017 |
| tpdb-8.0/LP/LP/lpexamples/log2b.pl | YES 1315 | YES 1581 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/mapcolor.pl | TIMEOUT 60744 | MAYBE 1518 | NO 60015 |
| tpdb-8.0/LP/LP/lpexamples/mergesort-oi.pl | MAYBE 5132 | MAYBE 8685 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/mergesort.pl | YES 5272 | YES 13575 | MAYBE 60016 |
| tpdb-8.0/LP/LP/lpexamples/shapes.pl | YES 3224 | TIMEOUT 60038 | MAYBE 60017 |
| tpdb-8.0/LP/LP/lpexamples/ts08.pl | YES 948 | YES 635 | MAYBE 60027 |
| tpdb-8.0/LP/LP/SGST06/ackermann.pl | YES 1045 | YES 6695 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/ag01.pl | YES 1222 | YES 648 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/applast.pl | YES 1250 | YES 1965 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/at.pl | YES 815 | YES 64 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/avg-bfb.pl | YES 1021 | YES 1423 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/avg.pl | YES 1065 | YES 943 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/baby91.pl | TIMEOUT 60531 | TIMEOUT 60092 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/bappend.pl | YES 1208 | YES 1265 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/blist.pl | YES 1004 | YES 1241 | MAYBE 60015 |
| tpdb-8.0/LP/LP/SGST06/btappend.pl | YES 1267 | YES 1362 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/btapplast.pl | YES 1376 | YES 2022 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/btree.pl | YES 1212 | YES 1410 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/cconfdel.pl | YES 1626 | YES 2484 | MAYBE 60015 |
| tpdb-8.0/LP/LP/SGST06/cnfequiv.pl | YES 2605 | MAYBE 3884 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/confdel.pl | YES 1646 | YES 2442 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/convert.pl | YES 1359 | YES 2707 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/countstack.pl | YES 1123 | YES 2021 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/csnake.pl | TIMEOUT 60447 | YES 6266 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/doublehalfpred.pl | TIMEOUT 60590 | TIMEOUT 60061 | NO 60016 |
| tpdb-8.0/LP/LP/SGST06/d.pl | YES 2607 | TIMEOUT 60032 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/evenodd.pl | YES 940 | YES 755 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/factor.pl | YES 1607 | YES 2241 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/flatten_phd.pl | YES 1534 | YES 8917 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/flatten.pl | YES 1135 | YES 2278 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/giesl97.pl | YES 1208 | YES 751 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/gopher.pl | YES 998 | YES 783 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/hbal_tree.pl | YES 1485 | MAYBE 2321 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/ifdiv.pl | MAYBE 29440 | TIMEOUT 60062 | NO 60017 |
| tpdb-8.0/LP/LP/SGST06/ifminus.pl | YES 1273 | YES 1997 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/incomplete2.pl | YES 926 | YES 713 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/incomplete.pl | YES 918 | YES 638 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/incomplete_variant.pl | YES 769 | YES 51 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/intlist.pl | YES 1092 | YES 1447 | MAYBE 60015 |
| tpdb-8.0/LP/LP/SGST06/lessleaves.pl | YES 1392 | YES 1551 | MAYBE 60015 |
| tpdb-8.0/LP/LP/SGST06/log.pl | YES 1319 | YES 1841 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/mapcolor.pl | TIMEOUT 60736 | MAYBE 1569 | NO 60017 |
| tpdb-8.0/LP/LP/SGST06/palindrome.pl | YES 1458 | YES 1569 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/paper1.pl | YES 952 | YES 725 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/paper2.pl | YES 981 | YES 705 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/parse.pl | YES 2111 | YES 4651 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/perm.pl | YES 1177 | YES 1983 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/plus.pl | YES 946 | YES 621 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/p_nonlin.pl | YES 2191 | YES 4575 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/p.pl | YES 1831 | YES 5285 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/pplus2.pl | YES 1068 | YES 1997 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/pplus.pl | YES 919 | YES 768 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/preorder.pl | YES 1210 | YES 1956 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/prime.pl | YES 2640 | YES 9051 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/psk09-append_variant.pl | MAYBE 1649 | MAYBE 623 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/psk09-maxsort-bool-nocut.pl | YES 11484 | TIMEOUT 60082 | MAYBE 60015 |
| tpdb-8.0/LP/LP/SGST06/quot.pl | YES 1022 | YES 1530 | MAYBE 60018 |
| tpdb-8.0/LP/LP/SGST06/rev.pl | YES 2462 | YES 4084 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/samefringe.pl | YES 1443 | YES 2483 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/shuffle.pl | YES 1312 | YES 2418 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/snake.pl | TIMEOUT 60457 | YES 6423 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/times2.pl | YES 1692 | YES 6145 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/times.pl | YES 1016 | YES 1330 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/toyama.pl | YES 762 | YES 50 | MAYBE 60016 |
| tpdb-8.0/LP/LP/SGST06/transpose2.pl | MAYBE 1651 | MAYBE 8075 | NO 60017 |
| tpdb-8.0/LP/LP/SGST06/transpose-fb.pl | YES 1761 | YES 18217 | MAYBE 60017 |
| tpdb-8.0/LP/LP/SGST06/weight.pl | YES 1538 | YES 3443 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_apt/append.pl | YES 952 | YES 653 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_apt/fold.pl | YES 795 | YES 704 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/list.pl | YES 925 | YES 624 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_apt/lte.pl | YES 974 | YES 1236 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/map1.pl | YES 953 | YES 649 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/map.pl | YES 935 | YES 751 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_apt/member.pl | YES 913 | YES 623 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/mergesort_ap.pl | YES 5260 | YES 30764 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_apt/mergesort.pl | YES 5212 | TIMEOUT 60072 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_apt/naive_rev-oi.pl | MAYBE 1892 | MAYBE 714 | NO 60016 |
| tpdb-8.0/LP/LP/talp_apt/naive_rev.pl | YES 1061 | YES 1238 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_apt/ordered.pl | YES 1219 | YES 1478 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/overlap.pl | YES 1202 | YES 1257 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_apt/permutation.pl | YES 1319 | YES 2544 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/quicksort-oi.pl | TIMEOUT 60888 | MAYBE 957 | NO 60015 |
| tpdb-8.0/LP/LP/talp_apt/quicksort.pl | YES 2981 | YES 8998 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/select1.pl | YES 959 | YES 625 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_apt/select.pl | YES 943 | YES 623 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_apt/SS_map_out.pl | TIMEOUT 60623 | MAYBE 1920 | NO 60016 |
| tpdb-8.0/LP/LP/talp_apt/SS_map.pl | TIMEOUT 60801 | MAYBE 1706 | NO 60016 |
| tpdb-8.0/LP/LP/talp_apt/SS_map_t.pl | TIMEOUT 60645 | MAYBE 1605 | NO 60016 |
| tpdb-8.0/LP/LP/talp_apt/subset1.pl | MAYBE 9366 | MAYBE 1436 | NO 60016 |
| tpdb-8.0/LP/LP/talp_apt/subset.pl | YES 1226 | YES 1358 | MAYBE 60015 |
| tpdb-8.0/LP/LP/talp_apt/sum.pl | YES 927 | YES 631 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_dds/append.pl | YES 962 | YES 662 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_dds/dis_con-bis.pl | YES 1079 | YES 889 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_dds/dis_con.pl | YES 1118 | YES 894 | MAYBE 60015 |
| tpdb-8.0/LP/LP/talp_dds/duplicate.pl | YES 919 | YES 640 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/merge.pl | YES 1563 | YES 4075 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/permute.pl | YES 1209 | YES 1423 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/reverse-iio.pl | YES 930 | YES 637 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/reverse.pl | YES 921 | YES 679 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_dds/sum-ioi.pl | YES 1204 | YES 1508 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_dds/sum.pl | YES 1195 | YES 1540 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/ack.pl | YES 1064 | YES 6846 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_mixed/bad_sublist.pl | MAYBE 1810 | MAYBE 1287 | NO 60016 |
| tpdb-8.0/LP/LP/talp_mixed/fib_t.pl | YES 1252 | YES 4134 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_mixed/flat-oi.pl | MAYBE 1640 | MAYBE 2990 | NO 60017 |
| tpdb-8.0/LP/LP/talp_mixed/flat.pl | YES 1228 | YES 2192 | MAYBE 60027 |
| tpdb-8.0/LP/LP/talp_mixed/hanoiapp.suc.pl | YES 1466 | YES 6081 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_mixed/mergesort.pl | YES 5803 | TIMEOUT 60094 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_mixed/perm.pl | YES 1310 | YES 2375 | MAYBE 60015 |
| tpdb-8.0/LP/LP/talp_mixed/permute1.pl | YES 1339 | YES 2281 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_mixed/p.pl | YES 961 | YES 1319 | MAYBE 60015 |
| tpdb-8.0/LP/LP/talp_mixed/qicksort.pl | YES 2630 | YES 8429 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_mixed/queens.pl | YES 2237 | YES 6102 | MAYBE 60015 |
| tpdb-8.0/LP/LP/talp_mixed/reverse.pl | YES 966 | YES 643 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/rotate.pl | YES 1051 | YES 1251 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/sameleaves.pl | YES 1535 | YES 1780 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_mixed/sicstus1.pl | YES 982 | YES 661 | MAYBE 60015 |
| tpdb-8.0/LP/LP/talp_mixed/sublist1.pl | YES 981 | YES 687 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_mixed/sublist.pl | YES 1072 | YES 1280 | MAYBE 60015 |
| tpdb-8.0/LP/LP/talp_mixed/zebra.pl | YES 2262 | YES 1913 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/mergesort_t.pl | YES 3431 | YES 27312 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_plumer/pl1.1.pl | MAYBE 1637 | MAYBE 598 | NO 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl1.2.pl | YES 1333 | YES 2302 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_plumer/pl1.2_t.pl | YES 1544 | YES 3967 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_plumer/pl2.3.1.pl | YES 789 | YES 700 | MAYBE 60015 |
| tpdb-8.0/LP/LP/talp_plumer/pl3.1.1.pl | MAYBE 2045 | MAYBE 662 | NO 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl3.5.6a.pl | YES 800 | MAYBE 772 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl3.5.6.pl | MAYBE 2149 | MAYBE 720 | NO 60016 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.0.1-oooi.pl | MAYBE 1928 | MAYBE 645 | NO 60016 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.0.1.pl | YES 990 | YES 645 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.4.3.pl | YES 1627 | YES 3250 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.4.6a.pl | YES 1029 | YES 1291 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.5.2.pl | MAYBE 8629 | MAYBE 9044 | NO 60016 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.5.3a.pl | MAYBE 1683 | MAYBE 580 | NO 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.5.3b.pl | MAYBE 2022 | MAYBE 564 | NO 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl4.5.3c.pl | MAYBE 1643 | MAYBE 583 | NO 60016 |
| tpdb-8.0/LP/LP/talp_plumer/pl5.2.2.pl | TIMEOUT 60563 | TIMEOUT 60047 | NO 60015 |
| tpdb-8.0/LP/LP/talp_plumer/pl6.1.1.pl | YES 2409 | YES 6040 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl7.2.9.pl | YES 1242 | YES 1251 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_plumer/pl7.6.2a.pl | MAYBE 16892 | MAYBE 2438 | NO 60016 |
| tpdb-8.0/LP/LP/talp_plumer/pl7.6.2b.pl | MAYBE 41269 | MAYBE 5491 | NO 60016 |
| tpdb-8.0/LP/LP/talp_plumer/pl7.6.2c.pl | YES 2492 | YES 4401 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.2.1a.pl | YES 3497 | YES 14024 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.2.1.pl | YES 5419 | TIMEOUT 60080 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.3.1a.pl | YES 2622 | YES 6150 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.3.1.pl | TIMEOUT 60591 | MAYBE 9564 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.4.1.pl | YES 917 | YES 638 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_plumer/pl8.4.2.pl | YES 1604 | YES 3048 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/append.pl | YES 972 | YES 658 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/binary2.pl | YES 2434 | YES 5538 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_talp/binary3.pl | YES 2291 | YES 6429 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_talp/binary4.pl | MAYBE 6601 | MAYBE 7180 | NO 60016 |
| tpdb-8.0/LP/LP/talp_talp/binary.pl | YES 2292 | YES 5481 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/div.pl | YES 1584 | YES 2183 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/evaluate.pl | YES 1748 | YES 8871 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/example1.pl | YES 797 | YES 51 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/example4-2.pl | MAYBE 1677 | MAYBE 569 | NO 60016 |
| tpdb-8.0/LP/LP/talp_talp/example4.pl | YES 918 | YES 626 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/flat.pl | YES 1149 | YES 1886 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_talp/gcd.pl | YES 2201 | YES 5079 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_talp/nat.pl | YES 1298 | YES 2218 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_talp/normal.pl | YES 1326 | YES 1610 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/palindrome.pl | YES 979 | YES 648 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/perm.pl | YES 1329 | YES 2309 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/permute.pl | YES 1188 | YES 1498 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_talp/qsort.pl | YES 2520 | YES 7129 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_talp/reminder-ioi.pl | YES 1840 | YES 2193 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/reminder.pl | YES 1666 | YES 2177 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_talp/simple.pl | YES 799 | YES 51 | MAYBE 60018 |
| tpdb-8.0/LP/LP/talp_talp/slowsort-oi.pl | MAYBE 2012 | MAYBE 2861 | NO 60016 |
| tpdb-8.0/LP/LP/talp_talp/slowsort.pl | YES 1563 | YES 2859 | MAYBE 60016 |
| tpdb-8.0/LP/LP/talp_talp/transitive_closure.pl | YES 841 | YES 698 | MAYBE 60017 |
| tpdb-8.0/LP/LP/talp_talp/vangelder.pl | YES 3942 | YES 10176 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_new/append-ooi.pl | YES 947 | YES 632 | MAYBE 60020 |
| tpdb-8.0/LP/LP/terminweb_new/backwards_append.pl | YES 933 | YES 631 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/basic_append.pl | YES 927 | YES 1092 | MAYBE 60015 |
| tpdb-8.0/LP/LP/terminweb_new/der.pl | YES 2285 | YES 11866 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_new/NJ1.pl | YES 957 | YES 641 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_new/NJ2.pl | YES 951 | YES 714 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_new/NJ3.pl | YES 1054 | YES 6764 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_new/NJ4.pl | YES 1008 | YES 624 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_new/NJ5.pl | YES 975 | YES 1297 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/NJ6.pl | YES 1012 | YES 1233 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/preorder_dl.pl | YES 1232 | YES 1900 | MAYBE 60015 |
| tpdb-8.0/LP/LP/terminweb_new/som.pl | YES 972 | YES 666 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_new/transpose.pl | YES 1243 | YES 3441 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_new/type-based_append.pl | YES 928 | YES 636 | MAYBE 60018 |
| tpdb-8.0/LP/LP/terminweb_new/ways.pl | YES 4392 | YES 12423 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/ackerman.pl | YES 1027 | YES 6772 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/append3-bis.pl | YES 1197 | YES 642 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_old/append3.pl | YES 1221 | YES 651 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/balance_tree2.pl | MAYBE 4907 | TIMEOUT 60031 | MAYBE 60015 |
| tpdb-8.0/LP/LP/terminweb_old/balance_tree.pl | YES 1345 | TIMEOUT 60030 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_old/inorder.pl | YES 1223 | YES 2257 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/interleave.pl | YES 946 | YES 627 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_old/permutation1.pl | YES 1317 | YES 2271 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_old/permutation2.pl | YES 1139 | YES 1418 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_old/reach.pl | YES 2131 | YES 3510 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/rotate.pl | YES 1184 | YES 1264 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_old/sameleaves.pl | YES 1501 | YES 1761 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/sublist0.pl | YES 1054 | YES 638 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_old/sublist_bad.pl | MAYBE 1819 | MAYBE 1235 | NO 60016 |
| tpdb-8.0/LP/LP/terminweb_old/sublist.pl | YES 992 | YES 641 | MAYBE 60016 |
| tpdb-8.0/LP/LP/terminweb_old/subset-no.pl | MAYBE 9789 | MAYBE 1452 | NO 60017 |
| tpdb-8.0/LP/LP/terminweb_old/subset.pl | YES 1197 | YES 1336 | MAYBE 60017 |
| tpdb-8.0/LP/LP/terminweb_old/untupled_bal_tree.pl | YES 1786 | MAYBE 28990 | MAYBE 60017 | 237 | 227 | 55 |