| benchmark | AProVE | polytool |
|---|---|---|
| tpdb-6.0/LP/BCGGV05/ackerman.pl | YES 1787 | YES 4686 |
| tpdb-6.0/LP/BCGGV05/append-bff.pl | YES 1688 | YES 712 |
| tpdb-6.0/LP/BCGGV05/append-ffb.pl | YES 1792 | YES 712 |
| tpdb-6.0/LP/BCGGV05/delete-bbf.pl | YES 2109 | YES 2907 |
| tpdb-6.0/LP/BCGGV05/delete-bfb.pl | YES 2172 | YES 2750 |
| tpdb-6.0/LP/BCGGV05/delete-bff.pl | MAYBE 18908 | MAYBE 2477 |
| tpdb-6.0/LP/BCGGV05/delete-fbf.pl | YES 2188 | YES 3565 |
| tpdb-6.0/LP/BCGGV05/delete-ffb.pl | YES 2272 | YES 3434 |
| tpdb-6.0/LP/BCGGV05/delmin-bff.pl | YES 1897 | YES 691 |
| tpdb-6.0/LP/BCGGV05/delmin-ffb.pl | YES 1894 | YES 705 |
| tpdb-6.0/LP/BCGGV05/der-bf.pl | YES 3936 | YES 9257 |
| tpdb-6.0/LP/BCGGV05/der-fb.pl | MAYBE 20948 | MAYBE 59798 |
| tpdb-6.0/LP/BCGGV05/factor.pl | YES 2372 | YES 2333 |
| tpdb-6.0/LP/BCGGV05/flat-bf.pl | YES 1943 | YES 1506 |
| tpdb-6.0/LP/BCGGV05/flat-fb.pl | MAYBE 2569 | MAYBE 1425 |
| tpdb-6.0/LP/BCGGV05/flatlength-bbf.pl | YES 1784 | YES 1490 |
| tpdb-6.0/LP/BCGGV05/flatlength-bfb.pl | YES 1841 | YES 1556 |
| tpdb-6.0/LP/BCGGV05/flatlength-bff.pl | YES 1869 | YES 1595 |
| tpdb-6.0/LP/BCGGV05/flatlength-fbf.pl | MAYBE 8369 | MAYBE 1037 |
| tpdb-6.0/LP/BCGGV05/flatlength-ffb.pl | MAYBE 2616 | MAYBE 1509 |
| tpdb-6.0/LP/BCGGV05/frontier-bf.pl | YES 1853 | YES 1744 |
| tpdb-6.0/LP/BCGGV05/frontier-fb.pl | MAYBE 9811 | MAYBE 1198 |
| tpdb-6.0/LP/BCGGV05/g.pl | MAYBE 3267 | MAYBE 861 |
| tpdb-6.0/LP/BCGGV05/in-bf.pl | MAYBE 14286 | MAYBE 1143 |
| tpdb-6.0/LP/BCGGV05/in-fb.pl | YES 2094 | YES 2900 |
| tpdb-6.0/LP/BCGGV05/inorder-bf.pl | YES 1914 | YES 2612 |
| tpdb-6.0/LP/BCGGV05/inorder-fb.pl | MAYBE 9523 | MAYBE 1088 |
| tpdb-6.0/LP/BCGGV05/insert-bbf.pl | YES 1901 | YES 2259 |
| tpdb-6.0/LP/BCGGV05/insert-bfb.pl | YES 1943 | YES 2212 |
| tpdb-6.0/LP/BCGGV05/insert-bff.pl | MAYBE 20986 | MAYBE 2381 |
| tpdb-6.0/LP/BCGGV05/insert-fbf.pl | YES 2159 | YES 2999 |
| tpdb-6.0/LP/BCGGV05/insert-ffb.pl | YES 2156 | YES 3022 |
| tpdb-6.0/LP/BCGGV05/length1.pl | YES 1748 | YES 714 |
| tpdb-6.0/LP/BCGGV05/length.pl | YES 1705 | YES 704 |
| tpdb-6.0/LP/BCGGV05/less-bf.pl | YES 1739 | YES 655 |
| tpdb-6.0/LP/BCGGV05/less-fb.pl | YES 1798 | YES 654 |
| tpdb-6.0/LP/BCGGV05/list.pl | YES 1731 | YES 643 |
| tpdb-6.0/LP/BCGGV05/map_color.pl | YES 1844 | YES 3621 |
| tpdb-6.0/LP/BCGGV05/maximum-bff.pl | YES 1846 | YES 1315 |
| tpdb-6.0/LP/BCGGV05/maximum-fbf.pl | YES 1789 | YES 1221 |
| tpdb-6.0/LP/BCGGV05/maximum-ffb.pl | YES 1803 | YES 661 |
| tpdb-6.0/LP/BCGGV05/member-bf.pl | MAYBE 2540 | MAYBE 660 |
| tpdb-6.0/LP/BCGGV05/member-fb.pl | YES 1701 | YES 644 |
| tpdb-6.0/LP/BCGGV05/mergesort.pl | MAYBE 20050 | MAYBE 15456 |
| tpdb-6.0/LP/BCGGV05/minimum-bf.pl | YES 1747 | YES 592 |
| tpdb-6.0/LP/BCGGV05/minimum-fb.pl | MAYBE 2555 | MAYBE 652 |
| tpdb-6.0/LP/BCGGV05/mult.pl | YES 1781 | YES 1327 |
| tpdb-6.0/LP/BCGGV05/naive_reverse-bf.pl | YES 1793 | YES 1333 |
| tpdb-6.0/LP/BCGGV05/naive_reverse-fb.pl | MAYBE 2619 | MAYBE 686 |
| tpdb-6.0/LP/BCGGV05/numeral.pl | YES 1690 | YES 649 |
| tpdb-6.0/LP/BCGGV05/ordered.pl | YES 2013 | YES 1516 |
| tpdb-6.0/LP/BCGGV05/palindrome.pl | YES 1744 | YES 727 |
| tpdb-6.0/LP/BCGGV05/parse.pl | YES 2367 | YES 12568 |
| tpdb-6.0/LP/BCGGV05/permutation1-fb.pl | YES 1904 | YES 1517 |
| tpdb-6.0/LP/BCGGV05/permutation-bf.pl | YES 2009 | YES 2445 |
| tpdb-6.0/LP/BCGGV05/permutation-fb.pl | MAYBE 2565 | MAYBE 1660 |
| tpdb-6.0/LP/BCGGV05/p_nonlin.pl | YES 3302 | YES 4494 |
| tpdb-6.0/LP/BCGGV05/p.pl | YES 2753 | YES 4620 |
| tpdb-6.0/LP/BCGGV05/prefix-bf.pl | YES 1693 | YES 724 |
| tpdb-6.0/LP/BCGGV05/prefix-fb.pl | YES 1753 | YES 727 |
| tpdb-6.0/LP/BCGGV05/quicksort-bf.pl | YES 3207 | YES 5997 |
| tpdb-6.0/LP/BCGGV05/quicksort-fb.pl | MAYBE 22526 | MAYBE 930 |
| tpdb-6.0/LP/BCGGV05/reverse-bf.pl | YES 1754 | YES 722 |
| tpdb-6.0/LP/BCGGV05/reverse-fb.pl | MAYBE 2534 | MAYBE 674 |
| tpdb-6.0/LP/BCGGV05/search_tree.pl | YES 2111 | YES 2219 |
| tpdb-6.0/LP/BCGGV05/select-bff.pl | MAYBE 2531 | MAYBE 646 |
| tpdb-6.0/LP/BCGGV05/select-fbf.pl | YES 1708 | YES 649 |
| tpdb-6.0/LP/BCGGV05/select-ffb.pl | YES 1745 | YES 700 |
| tpdb-6.0/LP/BCGGV05/slowsort-bb.pl | YES 2364 | YES 4152 |
| tpdb-6.0/LP/BCGGV05/slowsort-bf.pl | YES 2587 | YES 4146 |
| tpdb-6.0/LP/BCGGV05/slowsort-fb.pl | MAYBE 3058 | MAYBE 4336 |
| tpdb-6.0/LP/BCGGV05/sublist-bf.pl | MAYBE 2712 | MAYBE 678 |
| tpdb-6.0/LP/BCGGV05/sublist-fb.pl | YES 1796 | YES 731 |
| tpdb-6.0/LP/BCGGV05/subset-bf.pl | MAYBE 2688 | MAYBE 1318 |
| tpdb-6.0/LP/BCGGV05/subset-fb.pl | MAYBE 12952 | MAYBE 1441 |
| tpdb-6.0/LP/BCGGV05/suffix-bf.pl | MAYBE 2696 | MAYBE 679 |
| tpdb-6.0/LP/BCGGV05/suffix-fb.pl | MAYBE 2635 | MAYBE 681 |
| tpdb-6.0/LP/BCGGV05/sum-fbf.pl | YES 1689 | YES 653 |
| tpdb-6.0/LP/BCGGV05/sum-ffb.pl | YES 1748 | YES 656 |
| tpdb-6.0/LP/BCGGV05/t.pl | YES 2263 | YES 3159 |
| tpdb-6.0/LP/BCGGV05/transpose-bb.pl | YES 1892 | YES 5090 |
| tpdb-6.0/LP/BCGGV05/transpose-bf.pl | YES 1927 | YES 13339 |
| tpdb-6.0/LP/BCGGV05/transpose-fb.pl | YES 3040 | YES 17712 |
| tpdb-6.0/LP/BCGGV05/tree_member-bf.pl | MAYBE 2567 | MAYBE 658 |
| tpdb-6.0/LP/BCGGV05/tree_member-fb.pl | YES 1763 | YES 716 |
| tpdb-6.0/LP/BCGGV05/tree.pl | YES 1749 | YES 761 |
| tpdb-6.0/LP/lpexamples/ackermann-ioi.pl | MAYBE 3392 | MAYBE 2456 |
| tpdb-6.0/LP/lpexamples/ackermann.pl | YES 1756 | YES 4695 |
| tpdb-6.0/LP/lpexamples/average-ioi.pl | YES 1761 | YES 1521 |
| tpdb-6.0/LP/lpexamples/average.pl | YES 1845 | YES 1571 |
| tpdb-6.0/LP/lpexamples/factorial.pl | YES 2041 | MAYBE 57978 |
| tpdb-6.0/LP/lpexamples/fib-oi.pl | TIMEOUT 60512 | TIMEOUT 60196 |
| tpdb-6.0/LP/lpexamples/fib.pl | TIMEOUT 60355 | TIMEOUT 60195 |
| tpdb-6.0/LP/lpexamples/hanoi.pl | TIMEOUT 60283 | YES 171 |
| tpdb-6.0/LP/lpexamples/kay4.pl | MAYBE 2049 | YES 328 |
| tpdb-6.0/LP/lpexamples/log2a-oi.pl | MAYBE 2958 | MAYBE 842 |
| tpdb-6.0/LP/lpexamples/log2a.pl | YES 2051 | YES 1967 |
| tpdb-6.0/LP/lpexamples/log2b-oi.pl | MAYBE 2836 | MAYBE 1186 |
| tpdb-6.0/LP/lpexamples/log2b.pl | YES 1950 | YES 1660 |
| tpdb-6.0/LP/lpexamples/mapcolor.pl | TIMEOUT 60347 | MAYBE 1595 |
| tpdb-6.0/LP/lpexamples/mergesort-oi.pl | MAYBE 5374 | MAYBE 11055 |
| tpdb-6.0/LP/lpexamples/mergesort.pl | YES 5650 | YES 18299 |
| tpdb-6.0/LP/lpexamples/numbervars.pl | MAYBE 1916 | TIMEOUT 60192 |
| tpdb-6.0/LP/lpexamples/primes.pl | TIMEOUT 60228 | TIMEOUT 60191 |
| tpdb-6.0/LP/lpexamples/shapes.pl | TIMEOUT 60228 | TIMEOUT 60196 |
| tpdb-6.0/LP/lpexamples/tautology.pl | TIMEOUT 60236 | TIMEOUT 60198 |
| tpdb-6.0/LP/lpexamples/totient.pl | TIMEOUT 60272 | TIMEOUT 60196 |
| tpdb-6.0/LP/PSK08/appendex.pl | MAYBE 2668 | MAYBE 676 |
| tpdb-6.0/LP/PSK08/divminuslinear.pl | MAYBE 10399 | YES 175 |
| tpdb-6.0/LP/PSK08/divminus.pl | MAYBE 6224 | MAYBE 1029 |
| tpdb-6.0/LP/PSK08/minus1.pl | MAYBE 3577 | MAYBE 1017 |
| tpdb-6.0/LP/PSK08/minus2.pl | MAYBE 10417 | MAYBE 1817 |
| tpdb-6.0/LP/PSK08/minus3.pl | MAYBE 3375 | MAYBE 946 |
| tpdb-6.0/LP/PSK08/minus4.pl | MAYBE 2157 | MAYBE 669 |
| tpdb-6.0/LP/PSK08/negationasfailure.pl | MAYBE 1868 | MAYBE 1159 |
| tpdb-6.0/LP/PSK08/short1.pl | MAYBE 2672 | YES 119 |
| tpdb-6.0/LP/PSK08/short2.pl | MAYBE 2829 | YES 112 |
| tpdb-6.0/LP/SGST06/ackermann.pl | YES 1740 | YES 4658 |
| tpdb-6.0/LP/SGST06/ag01.pl | YES 2005 | YES 724 |
| tpdb-6.0/LP/SGST06/applast.pl | YES 1966 | YES 2018 |
| tpdb-6.0/LP/SGST06/at.pl | YES 1794 | YES 133 |
| tpdb-6.0/LP/SGST06/avg-bfb.pl | YES 1858 | YES 1512 |
| tpdb-6.0/LP/SGST06/avg.pl | YES 1845 | YES 1009 |
| tpdb-6.0/LP/SGST06/baby91.pl | TIMEOUT 60461 | TIMEOUT 60249 |
| tpdb-6.0/LP/SGST06/bappend.pl | YES 1806 | YES 1361 |
| tpdb-6.0/LP/SGST06/blist.pl | YES 1794 | YES 1335 |
| tpdb-6.0/LP/SGST06/btappend.pl | YES 2145 | YES 1455 |
| tpdb-6.0/LP/SGST06/btapplast.pl | YES 2168 | YES 2162 |
| tpdb-6.0/LP/SGST06/btree.pl | YES 1894 | YES 1500 |
| tpdb-6.0/LP/SGST06/cconfdel.pl | YES 2118 | YES 2636 |
| tpdb-6.0/LP/SGST06/cnfequiv.pl | YES 5662 | MAYBE 3425 |
| tpdb-6.0/LP/SGST06/confdel.pl | YES 2130 | YES 2603 |
| tpdb-6.0/LP/SGST06/convert.pl | YES 2050 | YES 2828 |
| tpdb-6.0/LP/SGST06/countstack.pl | YES 1956 | YES 2122 |
| tpdb-6.0/LP/SGST06/csnake.pl | MAYBE 16404 | YES 6295 |
| tpdb-6.0/LP/SGST06/doublehalfpred.pl | TIMEOUT 60375 | TIMEOUT 60233 |
| tpdb-6.0/LP/SGST06/d.pl | YES 3224 | TIMEOUT 60183 |
| tpdb-6.0/LP/SGST06/evenodd.pl | YES 1788 | YES 834 |
| tpdb-6.0/LP/SGST06/factor.pl | YES 2421 | YES 2333 |
| tpdb-6.0/LP/SGST06/flatten_phd.pl | YES 2640 | YES 9421 |
| tpdb-6.0/LP/SGST06/flatten.pl | YES 1962 | YES 2326 |
| tpdb-6.0/LP/SGST06/giesl97.pl | YES 1962 | YES 842 |
| tpdb-6.0/LP/SGST06/gopher.pl | YES 2016 | YES 868 |
| tpdb-6.0/LP/SGST06/hbal_tree.pl | YES 2880 | MAYBE 2707 |
| tpdb-6.0/LP/SGST06/ifdiv.pl | MAYBE 22201 | TIMEOUT 60235 |
| tpdb-6.0/LP/SGST06/ifminus.pl | YES 2267 | YES 2153 |
| tpdb-6.0/LP/SGST06/incomplete2.pl | YES 1909 | YES 785 |
| tpdb-6.0/LP/SGST06/incomplete.pl | MAYBE 2659 | YES 664 |
| tpdb-6.0/LP/SGST06/incomplete_variant.pl | YES 1687 | YES 117 |
| tpdb-6.0/LP/SGST06/intlist.pl | YES 1857 | YES 1522 |
| tpdb-6.0/LP/SGST06/lessleaves.pl | YES 2378 | YES 1632 |
| tpdb-6.0/LP/SGST06/log.pl | YES 1931 | YES 2010 |
| tpdb-6.0/LP/SGST06/mapcolor.pl | TIMEOUT 60355 | MAYBE 1595 |
| tpdb-6.0/LP/SGST06/palindrome.pl | YES 2104 | YES 1652 |
| tpdb-6.0/LP/SGST06/paper1.pl | YES 1902 | YES 771 |
| tpdb-6.0/LP/SGST06/paper2.pl | YES 1956 | YES 775 |
| tpdb-6.0/LP/SGST06/parse.pl | YES 2413 | YES 4210 |
| tpdb-6.0/LP/SGST06/perm.pl | YES 1931 | YES 2089 |
| tpdb-6.0/LP/SGST06/plus.pl | YES 1710 | YES 655 |
| tpdb-6.0/LP/SGST06/p_nonlin.pl | YES 4009 | YES 4656 |
| tpdb-6.0/LP/SGST06/p.pl | YES 2660 | YES 4508 |
| tpdb-6.0/LP/SGST06/pplus2.pl | YES 1867 | YES 2114 |
| tpdb-6.0/LP/SGST06/pplus.pl | YES 1813 | YES 836 |
| tpdb-6.0/LP/SGST06/preorder.pl | YES 1792 | YES 1960 |
| tpdb-6.0/LP/SGST06/prime.pl | YES 3381 | YES 6098 |
| tpdb-6.0/LP/SGST06/quot.pl | YES 1917 | YES 1574 |
| tpdb-6.0/LP/SGST06/rev.pl | YES 2859 | YES 3642 |
| tpdb-6.0/LP/SGST06/samefringe.pl | YES 2128 | YES 2609 |
| tpdb-6.0/LP/SGST06/shuffle.pl | YES 2061 | YES 2478 |
| tpdb-6.0/LP/SGST06/snake.pl | MAYBE 16829 | YES 6396 |
| tpdb-6.0/LP/SGST06/times2.pl | YES 2737 | YES 5501 |
| tpdb-6.0/LP/SGST06/times.pl | YES 1741 | YES 1425 |
| tpdb-6.0/LP/SGST06/toyama.pl | YES 1696 | YES 116 |
| tpdb-6.0/LP/SGST06/transpose2.pl | MAYBE 2531 | MAYBE 8035 |
| tpdb-6.0/LP/SGST06/transpose-fb.pl | YES 3146 | YES 17910 |
| tpdb-6.0/LP/SGST06/weight.pl | YES 2514 | YES 3328 |
| tpdb-6.0/LP/talp/apt/append.pl | YES 1807 | YES 684 |
| tpdb-6.0/LP/talp/apt/curry_ap.pl | MAYBE 2893 | MAYBE 2739 |
| tpdb-6.0/LP/talp/apt/dc_schema.pl | MAYBE 12589 | YES 126 |
| tpdb-6.0/LP/talp/apt/fold.pl | YES 1799 | YES 787 |
| tpdb-6.0/LP/talp/apt/gtsolve.pl | YES 1656 | YES 109 |
| tpdb-6.0/LP/talp/apt/list.pl | YES 1649 | YES 698 |
| tpdb-6.0/LP/talp/apt/lte.pl | YES 1740 | YES 1328 |
| tpdb-6.0/LP/talp/apt/map1.pl | YES 1800 | YES 725 |
| tpdb-6.0/LP/talp/apt/map.pl | YES 1763 | YES 743 |
| tpdb-6.0/LP/talp/apt/member.pl | YES 1721 | YES 652 |
| tpdb-6.0/LP/talp/apt/mergesort_ap.pl | YES 4943 | YES 30962 |
| tpdb-6.0/LP/talp/apt/mergesort_ap_variant.pl | MAYBE 46385 | TIMEOUT 60198 |
| tpdb-6.0/LP/talp/apt/mergesort.pl | YES 5724 | TIMEOUT 60239 |
| tpdb-6.0/LP/talp/apt/naive_rev-oi.pl | MAYBE 2669 | MAYBE 683 |
| tpdb-6.0/LP/talp/apt/naive_rev.pl | YES 1844 | YES 1335 |
| tpdb-6.0/LP/talp/apt/ordered.pl | YES 2051 | YES 1568 |
| tpdb-6.0/LP/talp/apt/overlap.pl | YES 1801 | YES 1274 |
| tpdb-6.0/LP/talp/apt/permutation.pl | YES 2157 | YES 2370 |
| tpdb-6.0/LP/talp/apt/quicksort-oi.pl | TIMEOUT 60226 | MAYBE 988 |
| tpdb-6.0/LP/talp/apt/quicksort.pl | YES 3532 | YES 7764 |
| tpdb-6.0/LP/talp/apt/select1.pl | YES 1713 | YES 653 |
| tpdb-6.0/LP/talp/apt/select.pl | YES 1702 | YES 655 |
| tpdb-6.0/LP/talp/apt/SS_map_out.pl | TIMEOUT 60351 | MAYBE 1939 |
| tpdb-6.0/LP/talp/apt/SS_map.pl | TIMEOUT 60312 | MAYBE 1832 |
| tpdb-6.0/LP/talp/apt/SS_map_t.pl | TIMEOUT 60478 | MAYBE 1794 |
| tpdb-6.0/LP/talp/apt/subset1.pl | MAYBE 13596 | MAYBE 1508 |
| tpdb-6.0/LP/talp/apt/subset.pl | YES 1900 | YES 1455 |
| tpdb-6.0/LP/talp/apt/sum.pl | YES 1696 | YES 660 |
| tpdb-6.0/LP/talp/az/flat-oi.pl | MAYBE 2735 | MAYBE 2966 |
| tpdb-6.0/LP/talp/az/flat.pl | YES 2425 | YES 2249 |
| tpdb-6.0/LP/talp/az/perm.pl | YES 2049 | YES 2453 |
| tpdb-6.0/LP/talp/az/p.pl | YES 1908 | YES 1365 |
| tpdb-6.0/LP/talp/dds/append.pl | YES 1693 | YES 718 |
| tpdb-6.0/LP/talp/dds/dis_con-bis.pl | YES 1860 | YES 974 |
| tpdb-6.0/LP/talp/dds/dis_con.pl | YES 1906 | YES 972 |
| tpdb-6.0/LP/talp/dds/duplicate.pl | YES 1745 | YES 723 |
| tpdb-6.0/LP/talp/dds/merge.pl | YES 2485 | YES 4059 |
| tpdb-6.0/LP/talp/dds/permute.pl | YES 2015 | YES 1516 |
| tpdb-6.0/LP/talp/dds/reverse-iio.pl | YES 1692 | YES 715 |
| tpdb-6.0/LP/talp/dds/reverse.pl | YES 1709 | YES 716 |
| tpdb-6.0/LP/talp/dds/sum-ioi.pl | YES 1846 | YES 1532 |
| tpdb-6.0/LP/talp/dds/sum.pl | YES 1791 | YES 1625 |
| tpdb-6.0/LP/talp/maria/aiakl.pl | MAYBE 1958 | MAYBE 42818 |
| tpdb-6.0/LP/talp/maria/ann.pl | MAYBE 1815 | MAYBE 1080 |
| tpdb-6.0/LP/talp/maria/bid.pl | MAYBE 2013 | TIMEOUT 60195 |
| tpdb-6.0/LP/talp/maria/boyer.pl | MAYBE 1624 | TIMEOUT 60193 |
| tpdb-6.0/LP/talp/maria/browse.pl | MAYBE 28355 | TIMEOUT 60199 |
| tpdb-6.0/LP/talp/maria/deriv-oii.pl | YES 1850 | TIMEOUT 60192 |
| tpdb-6.0/LP/talp/maria/deriv.pl | YES 1838 | TIMEOUT 60193 |
| tpdb-6.0/LP/talp/maria/fib.pl | TIMEOUT 60279 | TIMEOUT 60205 |
| tpdb-6.0/LP/talp/maria/fib_t.pl | YES 1859 | YES 2764 |
| tpdb-6.0/LP/talp/maria/grammar2.pl | YES 2050 | YES 599 |
| tpdb-6.0/LP/talp/maria/grammar.pl | YES 1963 | YES 660 |
| tpdb-6.0/LP/talp/maria/hanoiapp.pl | TIMEOUT 60212 | TIMEOUT 60191 |
| tpdb-6.0/LP/talp/maria/hanoiapp.suc.pl | YES 2958 | YES 3902 |
| tpdb-6.0/LP/talp/maria/mmatrix.pl | YES 2963 | YES 14389 |
| tpdb-6.0/LP/talp/maria/money.pl | YES 2962 | YES 24816 |
| tpdb-6.0/LP/talp/maria/occur.pl | YES 3032 | TIMEOUT 60203 |
| tpdb-6.0/LP/talp/maria/peephole.pl | MAYBE 2458 | TIMEOUT 60177 |
| tpdb-6.0/LP/talp/maria/progeom.pl | MAYBE 27500 | TIMEOUT 60187 |
| tpdb-6.0/LP/talp/maria/qplan.pl | TIMEOUT 60255 | TIMEOUT 60193 |
| tpdb-6.0/LP/talp/maria/qsortapp.pl | YES 3692 | TIMEOUT 60186 |
| tpdb-6.0/LP/talp/maria/query.pl | MAYBE 21859 | YES 817 |
| tpdb-6.0/LP/talp/maria/rdtok.pl | MAYBE 1053 | TIMEOUT 60191 |
| tpdb-6.0/LP/talp/maria/read.pl | MAYBE 2504 | TIMEOUT 60188 |
| tpdb-6.0/LP/talp/maria/serialize.pl | TIMEOUT 60294 | TIMEOUT 60215 |
| tpdb-6.0/LP/talp/maria/tak.pl | TIMEOUT 60230 | TIMEOUT 60201 |
| tpdb-6.0/LP/talp/maria/tictactoe.pl | MAYBE 2647 | TIMEOUT 60192 |
| tpdb-6.0/LP/talp/maria/warplan.pl | MAYBE 2380 | TIMEOUT 60184 |
| tpdb-6.0/LP/talp/maria/zebra.pl | YES 2693 | YES 2003 |
| tpdb-6.0/LP/talp/naomil/ack.pl | YES 1749 | YES 4579 |
| tpdb-6.0/LP/talp/naomil/queens.pl | YES 2683 | YES 5787 |
| tpdb-6.0/LP/talp/naomil/reverse.pl | YES 1746 | YES 723 |
| tpdb-6.0/LP/talp/naomil/sicstus1.pl | YES 1772 | YES 734 |
| tpdb-6.0/LP/talp/plumer/mergesort_t.pl | YES 6105 | YES 28666 |
| tpdb-6.0/LP/talp/plumer/pl1.1.pl | MAYBE 2526 | MAYBE 675 |
| tpdb-6.0/LP/talp/plumer/pl1.2.pl | YES 2000 | YES 2376 |
| tpdb-6.0/LP/talp/plumer/pl1.2_t.pl | YES 2322 | YES 4028 |
| tpdb-6.0/LP/talp/plumer/pl2.3.1.pl | YES 1906 | YES 703 |
| tpdb-6.0/LP/talp/plumer/pl3.1.1.pl | MAYBE 3344 | MAYBE 631 |
| tpdb-6.0/LP/talp/plumer/pl3.5.6a.pl | YES 1798 | MAYBE 788 |
| tpdb-6.0/LP/talp/plumer/pl3.5.6.pl | MAYBE 3086 | MAYBE 802 |
| tpdb-6.0/LP/talp/plumer/pl4.0.1-oooi.pl | MAYBE 2671 | MAYBE 673 |
| tpdb-6.0/LP/talp/plumer/pl4.0.1.pl | YES 1841 | YES 724 |
| tpdb-6.0/LP/talp/plumer/pl4.4.3.pl | YES 2492 | YES 3370 |
| tpdb-6.0/LP/talp/plumer/pl4.4.6a.pl | YES 1795 | YES 1335 |
| tpdb-6.0/LP/talp/plumer/pl4.5.2.pl | MAYBE 4432 | MAYBE 5193 |
| tpdb-6.0/LP/talp/plumer/pl4.5.3a.pl | MAYBE 2564 | MAYBE 651 |
| tpdb-6.0/LP/talp/plumer/pl4.5.3b.pl | MAYBE 2906 | MAYBE 646 |
| tpdb-6.0/LP/talp/plumer/pl4.5.3c.pl | MAYBE 2558 | MAYBE 659 |
| tpdb-6.0/LP/talp/plumer/pl5.2.2.pl | MAYBE 59864 | TIMEOUT 60228 |
| tpdb-6.0/LP/talp/plumer/pl6.1.1.pl | YES 3588 | YES 5674 |
| tpdb-6.0/LP/talp/plumer/pl7.2.9.pl | YES 1790 | YES 1335 |
| tpdb-6.0/LP/talp/plumer/pl7.6.2a.pl | MAYBE 14421 | MAYBE 2506 |
| tpdb-6.0/LP/talp/plumer/pl7.6.2b.pl | MAYBE 50728 | MAYBE 5916 |
| tpdb-6.0/LP/talp/plumer/pl7.6.2c.pl | YES 3150 | YES 4432 |
| tpdb-6.0/LP/talp/plumer/pl8.2.1a.pl | YES 3880 | YES 11299 |
| tpdb-6.0/LP/talp/plumer/pl8.2.1.pl | YES 5390 | TIMEOUT 60236 |
| tpdb-6.0/LP/talp/plumer/pl8.3.1a.pl | YES 3801 | YES 5817 |
| tpdb-6.0/LP/talp/plumer/pl8.3.1.pl | TIMEOUT 60744 | MAYBE 11884 |
| tpdb-6.0/LP/talp/plumer/pl8.4.1.pl | YES 1805 | YES 715 |
| tpdb-6.0/LP/talp/plumer/pl8.4.2.pl | YES 2722 | YES 2433 |
| tpdb-6.0/LP/talp/taboch/bad_sublist.pl | MAYBE 2610 | MAYBE 1378 |
| tpdb-6.0/LP/talp/taboch/mergesort.pl | YES 6473 | TIMEOUT 60239 |
| tpdb-6.0/LP/talp/taboch/permute1.pl | YES 2071 | YES 2371 |
| tpdb-6.0/LP/talp/taboch/permute2.pl | YES 1947 | YES 1514 |
| tpdb-6.0/LP/talp/taboch/qicksort.pl | YES 3435 | YES 7684 |
| tpdb-6.0/LP/talp/taboch/queens.pl | YES 2538 | TIMEOUT 60186 |
| tpdb-6.0/LP/talp/taboch/rotate.pl | YES 1843 | YES 1356 |
| tpdb-6.0/LP/talp/taboch/sameleaves.pl | YES 2479 | YES 1747 |
| tpdb-6.0/LP/talp/taboch/sublist1.pl | YES 1743 | YES 672 |
| tpdb-6.0/LP/talp/taboch/sublist.pl | YES 1784 | YES 1263 |
| tpdb-6.0/LP/talp/talp/append.pl | YES 1756 | YES 692 |
| tpdb-6.0/LP/talp/talp/binary2.pl | YES 2524 | YES 5525 |
| tpdb-6.0/LP/talp/talp/binary3.pl | YES 2696 | YES 6336 |
| tpdb-6.0/LP/talp/talp/binary4.pl | MAYBE 6139 | MAYBE 7197 |
| tpdb-6.0/LP/talp/talp/binary.pl | YES 2521 | YES 5541 |
| tpdb-6.0/LP/talp/talp/div.pl | YES 2424 | YES 2244 |
| tpdb-6.0/LP/talp/talp/evaluate.pl | YES 2318 | YES 8834 |
| tpdb-6.0/LP/talp/talp/example1.pl | YES 1747 | YES 119 |
| tpdb-6.0/LP/talp/talp/example4-2.pl | MAYBE 2545 | MAYBE 649 |
| tpdb-6.0/LP/talp/talp/example4.pl | YES 1692 | YES 649 |
| tpdb-6.0/LP/talp/talp/flat.pl | YES 2008 | YES 1914 |
| tpdb-6.0/LP/talp/talp/gcd.pl | YES 3542 | YES 4945 |
| tpdb-6.0/LP/talp/talp/nat.pl | YES 2137 | YES 2325 |
| tpdb-6.0/LP/talp/talp/normal.pl | YES 2144 | YES 1706 |
| tpdb-6.0/LP/talp/talp/palindrome.pl | YES 1748 | YES 680 |
| tpdb-6.0/LP/talp/talp/perm.pl | YES 2133 | YES 2368 |
| tpdb-6.0/LP/talp/talp/permute.pl | YES 1956 | YES 1510 |
| tpdb-6.0/LP/talp/talp/qsort.pl | YES 3464 | YES 6976 |
| tpdb-6.0/LP/talp/talp/reminder-ioi.pl | YES 2662 | YES 2295 |
| tpdb-6.0/LP/talp/talp/reminder.pl | YES 2476 | YES 2248 |
| tpdb-6.0/LP/talp/talp/simple.pl | YES 1643 | YES 115 |
| tpdb-6.0/LP/talp/talp/slowsort-oi.pl | MAYBE 3085 | MAYBE 2912 |
| tpdb-6.0/LP/talp/talp/slowsort.pl | YES 2471 | YES 2975 |
| tpdb-6.0/LP/talp/talp/transitive_closure.pl | YES 1969 | YES 775 |
| tpdb-6.0/LP/talp/talp/vangelder.pl | YES 6270 | YES 9405 |
| tpdb-6.0/LP/terminweb/backwards/append.pl | YES 1697 | YES 715 |
| tpdb-6.0/LP/terminweb/basic/append-ooi.pl | YES 1716 | YES 712 |
| tpdb-6.0/LP/terminweb/basic/append.pl | YES 1821 | YES 716 |
| tpdb-6.0/LP/terminweb/basic/ways.pl | YES 5386 | YES 8609 |
| tpdb-6.0/LP/terminweb/combination/der.pl | YES 3806 | YES 9015 |
| tpdb-6.0/LP/terminweb/cti/som.pl | YES 1704 | YES 747 |
| tpdb-6.0/LP/terminweb/old-terminweb/ackerman.pl | YES 1848 | YES 4674 |
| tpdb-6.0/LP/terminweb/old-terminweb/append3-bis.pl | YES 1796 | YES 732 |
| tpdb-6.0/LP/terminweb/old-terminweb/append3.pl | YES 1807 | YES 734 |
| tpdb-6.0/LP/terminweb/old-terminweb/balance_tree2.pl | MAYBE 4455 | TIMEOUT 60195 |
| tpdb-6.0/LP/terminweb/old-terminweb/balance_tree.pl | YES 2131 | TIMEOUT 60188 |
| tpdb-6.0/LP/terminweb/old-terminweb/inorder.pl | YES 1921 | YES 2383 |
| tpdb-6.0/LP/terminweb/old-terminweb/interleave.pl | YES 1701 | YES 704 |
| tpdb-6.0/LP/terminweb/old-terminweb/mergesort.pl | YES 9420 | TIMEOUT 60187 |
| tpdb-6.0/LP/terminweb/old-terminweb/permutation1.pl | YES 2068 | YES 2371 |
| tpdb-6.0/LP/terminweb/old-terminweb/permutation2.pl | YES 1906 | YES 1477 |
| tpdb-6.0/LP/terminweb/old-terminweb/queens.pl | YES 2484 | TIMEOUT 60188 |
| tpdb-6.0/LP/terminweb/old-terminweb/quicksort.pl | YES 4338 | TIMEOUT 60190 |
| tpdb-6.0/LP/terminweb/old-terminweb/reach.pl | YES 2812 | YES 3598 |
| tpdb-6.0/LP/terminweb/old-terminweb/rotate.pl | YES 1844 | YES 1326 |
| tpdb-6.0/LP/terminweb/old-terminweb/sameleaves.pl | YES 2372 | YES 1738 |
| tpdb-6.0/LP/terminweb/old-terminweb/sublist0.pl | YES 1788 | YES 716 |
| tpdb-6.0/LP/terminweb/old-terminweb/sublist_bad.pl | MAYBE 2587 | MAYBE 1274 |
| tpdb-6.0/LP/terminweb/old-terminweb/sublist.pl | YES 1817 | YES 720 |
| tpdb-6.0/LP/terminweb/old-terminweb/subset-no.pl | MAYBE 13280 | MAYBE 1497 |
| tpdb-6.0/LP/terminweb/old-terminweb/subset.pl | YES 1832 | YES 1430 |
| tpdb-6.0/LP/terminweb/old-terminweb/untupled_bal_tree.pl | YES 2161 | MAYBE 27986 |
| tpdb-6.0/LP/terminweb/Size-Change:NJ/NJ1.pl | YES 1745 | YES 730 |
| tpdb-6.0/LP/terminweb/Size-Change:NJ/NJ2.pl | YES 1746 | YES 799 |
| tpdb-6.0/LP/terminweb/Size-Change:NJ/NJ3.pl | YES 1749 | YES 4597 |
| tpdb-6.0/LP/terminweb/Size-Change:NJ/NJ4.pl | YES 1874 | YES 711 |
| tpdb-6.0/LP/terminweb/Size-Change:NJ/NJ5.pl | YES 1747 | YES 1382 |
| tpdb-6.0/LP/terminweb/Size-Change:NJ/NJ6.pl | YES 1788 | YES 1348 |
| tpdb-6.0/LP/terminweb/type-based/append.pl | YES 1846 | YES 718 |
| tpdb-6.0/LP/terminweb/type-based/transpose.pl | YES 1970 | YES 3236 |
| tpdb-6.0/LP/terminweb/untupling/preorder_dl.pl | YES 1899 | YES 1995 | 246 | 238 |