| benchmark | AProVE |
|---|---|
| tpdb-8.0/LP/CUT/AProVE_10_cut/lateinst.pl | YES 835 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/latesplit.pl | MAYBE 1727 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts04.pl | YES 976 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts05.pl | YES 787 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts06.pl | MAYBE 1390 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts07.pl | MAYBE 1608 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts09.pl | YES 798 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts10.pl | MAYBE 1678 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/appendex.pl | MAYBE 1673 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminuslinear.pl | YES 1655 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminus.pl | YES 1734 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus1.pl | YES 1237 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus2.pl | YES 1987 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus3.pl | YES 1060 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus4.pl | YES 823 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/negationasfailure.pl | YES 951 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/short1.pl | YES 888 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/short2.pl | YES 810 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/append_linear.pl | YES 1052 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/existential.pl | MAYBE 1673 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/hidden_flatten.pl | YES 1439 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/len.pl | MAYBE 2986 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/less1.pl | TIMEOUT 60400 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/less2.pl | YES 975 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/max_valued.pl | YES 853 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/negationasfailure.pl | YES 931 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk01.pl | MAYBE 1643 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk02.pl | YES 850 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk03.pl | MAYBE 1667 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/shape.pl | YES 934 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/shuffle.pl | YES 1024 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/soundex.pl | YES 1424 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/star1.pl | YES 1503 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/star2.pl | YES 1189 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief1.pl | MAYBE 1633 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief2.pl | YES 797 |
| tpdb-8.0/LP/CUT/Stroeder_09/add1.pl | YES 938 |
| tpdb-8.0/LP/CUT/Stroeder_09/add2.pl | MAYBE 2157 |
| tpdb-8.0/LP/CUT/Stroeder_09/add3.pl | YES 947 |
| tpdb-8.0/LP/CUT/Stroeder_09/app1.pl | YES 1506 |
| tpdb-8.0/LP/CUT/Stroeder_09/app2.pl | MAYBE 4297 |
| tpdb-8.0/LP/CUT/Stroeder_09/app3.pl | YES 980 |
| tpdb-8.0/LP/CUT/Stroeder_09/applast.pl | MAYBE 7261 |
| tpdb-8.0/LP/CUT/Stroeder_09/average1.pl | MAYBE 37660 |
| tpdb-8.0/LP/CUT/Stroeder_09/bappend.pl | YES 1265 |
| tpdb-8.0/LP/CUT/Stroeder_09/blist2.pl | YES 1105 |
| tpdb-8.0/LP/CUT/Stroeder_09/blist.pl | YES 1112 |
| tpdb-8.0/LP/CUT/Stroeder_09/btappend.pl | MAYBE 9600 |
| tpdb-8.0/LP/CUT/Stroeder_09/btapplast.pl | MAYBE 10882 |
| tpdb-8.0/LP/CUT/Stroeder_09/btree2.pl | YES 1375 |
| tpdb-8.0/LP/CUT/Stroeder_09/btree.pl | YES 1331 |
| tpdb-8.0/LP/CUT/Stroeder_09/confdel.pl | YES 1237 |
| tpdb-8.0/LP/CUT/Stroeder_09/convert.pl | YES 2012 |
| tpdb-8.0/LP/CUT/Stroeder_09/countstack2.pl | YES 1239 |
| tpdb-8.0/LP/CUT/Stroeder_09/countstack.pl | YES 1167 |
| tpdb-8.0/LP/CUT/Stroeder_09/cutpos1.pl | YES 796 |
| tpdb-8.0/LP/CUT/Stroeder_09/cutpos2.pl | MAYBE 1649 |
| tpdb-8.0/LP/CUT/Stroeder_09/dependency2.pl | YES 1323 |
| tpdb-8.0/LP/CUT/Stroeder_09/dependency.pl | YES 1316 |
| tpdb-8.0/LP/CUT/Stroeder_09/divminus2.pl | YES 1500 |
| tpdb-8.0/LP/CUT/Stroeder_09/divremain2.pl | YES 1723 |
| tpdb-8.0/LP/CUT/Stroeder_09/divremain.pl | YES 1540 |
| tpdb-8.0/LP/CUT/Stroeder_09/duplicate1.pl | YES 950 |
| tpdb-8.0/LP/CUT/Stroeder_09/duplicate2.pl | YES 955 |
| tpdb-8.0/LP/CUT/Stroeder_09/evenodd1.pl | YES 817 |
| tpdb-8.0/LP/CUT/Stroeder_09/evenodd2.pl | YES 946 |
| tpdb-8.0/LP/CUT/Stroeder_09/flatten.pl | MAYBE 10005 |
| tpdb-8.0/LP/CUT/Stroeder_09/fold1.pl | YES 859 |
| tpdb-8.0/LP/CUT/Stroeder_09/fold2.pl | YES 900 |
| tpdb-8.0/LP/CUT/Stroeder_09/fold3.pl | YES 1211 |
| tpdb-8.0/LP/CUT/Stroeder_09/giesl97.pl | YES 1349 |
| tpdb-8.0/LP/CUT/Stroeder_09/gopher1.pl | YES 986 |
| tpdb-8.0/LP/CUT/Stroeder_09/gopher2.pl | YES 1112 |
| tpdb-8.0/LP/CUT/Stroeder_09/inorder-oi.pl | YES 1745 |
| tpdb-8.0/LP/CUT/Stroeder_09/len2.pl | YES 944 |
| tpdb-8.0/LP/CUT/Stroeder_09/len.pl | YES 944 |
| tpdb-8.0/LP/CUT/Stroeder_09/lessleaves.pl | MAYBE 13178 |
| tpdb-8.0/LP/CUT/Stroeder_09/less.pl | YES 1002 |
| tpdb-8.0/LP/CUT/Stroeder_09/list2.pl | YES 804 |
| tpdb-8.0/LP/CUT/Stroeder_09/list.pl | YES 909 |
| tpdb-8.0/LP/CUT/Stroeder_09/lte1.pl | YES 817 |
| tpdb-8.0/LP/CUT/Stroeder_09/lte2.pl | YES 851 |
| tpdb-8.0/LP/CUT/Stroeder_09/map.pl | YES 1233 |
| tpdb-8.0/LP/CUT/Stroeder_09/mul1.pl | YES 1281 |
| tpdb-8.0/LP/CUT/Stroeder_09/num2.pl | YES 835 |
| tpdb-8.0/LP/CUT/Stroeder_09/num.pl | YES 930 |
| tpdb-8.0/LP/CUT/Stroeder_09/ordered2.pl | MAYBE 11298 |
| tpdb-8.0/LP/CUT/Stroeder_09/ordered3.pl | YES 1478 |
| tpdb-8.0/LP/CUT/Stroeder_09/ordered.pl | YES 1558 |
| tpdb-8.0/LP/CUT/Stroeder_09/overlap1.pl | YES 1223 |
| tpdb-8.0/LP/CUT/Stroeder_09/overlap2.pl | YES 1072 |
| tpdb-8.0/LP/CUT/Stroeder_09/plumer356.pl | MAYBE 2151 |
| tpdb-8.0/LP/CUT/Stroeder_09/plumer453a.pl | YES 783 |
| tpdb-8.0/LP/CUT/Stroeder_09/plumer453b.pl | YES 795 |
| tpdb-8.0/LP/CUT/Stroeder_09/plumer453c.pl | YES 803 |
| tpdb-8.0/LP/CUT/Stroeder_09/preorder.pl | YES 1281 |
| tpdb-8.0/LP/CUT/Stroeder_09/prime_fact.pl | TIMEOUT 60490 |
| tpdb-8.0/LP/CUT/Stroeder_09/quot1.pl | YES 2038 |
| tpdb-8.0/LP/CUT/Stroeder_09/quot2.pl | YES 7760 |
| tpdb-8.0/LP/CUT/Stroeder_09/rev2.pl | YES 1473 |
| tpdb-8.0/LP/CUT/Stroeder_09/rev.pl | YES 1264 |
| tpdb-8.0/LP/CUT/Stroeder_09/select1.pl | YES 1210 |
| tpdb-8.0/LP/CUT/Stroeder_09/select2.pl | YES 1140 |
| tpdb-8.0/LP/CUT/Stroeder_09/subset-oi.pl | MAYBE 23979 |
| tpdb-8.0/LP/CUT/Stroeder_09/times1.pl | MAYBE 7305 |
| tpdb-8.0/LP/CUT/Stroeder_09/transpose1.pl | YES 12556 |
| tpdb-8.0/LP/CUT/Stroeder_09/tree2.pl | YES 987 |
| tpdb-8.0/LP/CUT/Stroeder_09/tree.pl | YES 1002 |
| tpdb-8.0/LP/CUT/Stroeder_09/ts01.pl | YES 954 |
| tpdb-8.0/LP/CUT/Stroeder_09/ts02.pl | YES 788 |
| tpdb-8.0/LP/CUT/Stroeder_09/ts03.pl | YES 796 |
| tpdb-8.0/LP/CUT/Stroeder_09/vlcnd.pl | TIMEOUT 60524 | 86 |