| benchmark | AProVE |
|---|---|
| tpdb-8.0/LP/CUT/AProVE_10_cut/lateinst.pl | YES 1139 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/latesplit.pl | MAYBE 2083 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts04.pl | YES 1394 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts05.pl | YES 1117 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts06.pl | MAYBE 1880 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts07.pl | MAYBE 1886 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts09.pl | YES 1120 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts10.pl | MAYBE 1978 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/appendex.pl | MAYBE 2020 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminuslinear.pl | YES 2108 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminus.pl | YES 1866 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus1.pl | YES 1471 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus2.pl | YES 2083 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus3.pl | YES 1419 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus4.pl | YES 1176 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/negationasfailure.pl | YES 1338 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/short1.pl | YES 1233 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/short2.pl | YES 1146 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/append_linear.pl | YES 1359 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/existential.pl | MAYBE 2002 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/hidden_flatten.pl | YES 1675 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/len.pl | MAYBE 2033 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/less1.pl | YES 3138 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/less2.pl | YES 1390 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/max_valued.pl | YES 1180 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/negationasfailure.pl | YES 1352 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk01.pl | MAYBE 1987 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk02.pl | YES 1206 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk03.pl | MAYBE 2045 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/shape.pl | YES 1344 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/shuffle.pl | YES 1392 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/soundex.pl | YES 1930 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/star1.pl | YES 1842 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/star2.pl | YES 1669 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief1.pl | MAYBE 1990 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief2.pl | YES 1115 |
| tpdb-8.0/LP/CUT/Stroeder_09/add1.pl | YES 1338 |
| tpdb-8.0/LP/CUT/Stroeder_09/add2.pl | MAYBE 2053 |
| tpdb-8.0/LP/CUT/Stroeder_09/add3.pl | YES 1379 |
| tpdb-8.0/LP/CUT/Stroeder_09/app1.pl | YES 1361 |
| tpdb-8.0/LP/CUT/Stroeder_09/app2.pl | MAYBE 2207 |
| tpdb-8.0/LP/CUT/Stroeder_09/app3.pl | YES 1396 |
| tpdb-8.0/LP/CUT/Stroeder_09/applast.pl | MAYBE 3044 |
| tpdb-8.0/LP/CUT/Stroeder_09/average1.pl | MAYBE 5523 |
| tpdb-8.0/LP/CUT/Stroeder_09/bappend.pl | YES 1566 |
| tpdb-8.0/LP/CUT/Stroeder_09/blist2.pl | YES 1554 |
| tpdb-8.0/LP/CUT/Stroeder_09/blist.pl | YES 1469 |
| tpdb-8.0/LP/CUT/Stroeder_09/btappend.pl | MAYBE 3173 |
| tpdb-8.0/LP/CUT/Stroeder_09/btapplast.pl | MAYBE 4702 |
| tpdb-8.0/LP/CUT/Stroeder_09/btree2.pl | YES 1807 |
| tpdb-8.0/LP/CUT/Stroeder_09/btree.pl | YES 1693 |
| tpdb-8.0/LP/CUT/Stroeder_09/confdel.pl | YES 1729 |
| tpdb-8.0/LP/CUT/Stroeder_09/convert.pl | YES 2418 |
| tpdb-8.0/LP/CUT/Stroeder_09/countstack2.pl | YES 1619 |
| tpdb-8.0/LP/CUT/Stroeder_09/countstack.pl | YES 1550 |
| tpdb-8.0/LP/CUT/Stroeder_09/cutpos1.pl | YES 1107 |
| tpdb-8.0/LP/CUT/Stroeder_09/cutpos2.pl | MAYBE 2000 |
| tpdb-8.0/LP/CUT/Stroeder_09/dependency2.pl | YES 1685 |
| tpdb-8.0/LP/CUT/Stroeder_09/dependency.pl | YES 1492 |
| tpdb-8.0/LP/CUT/Stroeder_09/divminus2.pl | YES 1906 |
| tpdb-8.0/LP/CUT/Stroeder_09/divremain2.pl | YES 2074 |
| tpdb-8.0/LP/CUT/Stroeder_09/divremain.pl | YES 1948 |
| tpdb-8.0/LP/CUT/Stroeder_09/duplicate1.pl | YES 1363 |
| tpdb-8.0/LP/CUT/Stroeder_09/duplicate2.pl | YES 1389 |
| tpdb-8.0/LP/CUT/Stroeder_09/evenodd1.pl | YES 1164 |
| tpdb-8.0/LP/CUT/Stroeder_09/evenodd2.pl | YES 1351 |
| tpdb-8.0/LP/CUT/Stroeder_09/flatten.pl | MAYBE 2777 |
| tpdb-8.0/LP/CUT/Stroeder_09/fold1.pl | YES 1234 |
| tpdb-8.0/LP/CUT/Stroeder_09/fold2.pl | YES 1296 |
| tpdb-8.0/LP/CUT/Stroeder_09/fold3.pl | YES 1432 |
| tpdb-8.0/LP/CUT/Stroeder_09/giesl97.pl | YES 1665 |
| tpdb-8.0/LP/CUT/Stroeder_09/gopher1.pl | YES 1397 |
| tpdb-8.0/LP/CUT/Stroeder_09/gopher2.pl | YES 1528 |
| tpdb-8.0/LP/CUT/Stroeder_09/inorder-oi.pl | YES 2127 |
| tpdb-8.0/LP/CUT/Stroeder_09/len2.pl | YES 1350 |
| tpdb-8.0/LP/CUT/Stroeder_09/len.pl | YES 1338 |
| tpdb-8.0/LP/CUT/Stroeder_09/lessleaves.pl | MAYBE 4551 |
| tpdb-8.0/LP/CUT/Stroeder_09/less.pl | YES 1443 |
| tpdb-8.0/LP/CUT/Stroeder_09/list2.pl | YES 1157 |
| tpdb-8.0/LP/CUT/Stroeder_09/list.pl | YES 1321 |
| tpdb-8.0/LP/CUT/Stroeder_09/lte1.pl | YES 1155 |
| tpdb-8.0/LP/CUT/Stroeder_09/lte2.pl | YES 1211 |
| tpdb-8.0/LP/CUT/Stroeder_09/map.pl | YES 1402 |
| tpdb-8.0/LP/CUT/Stroeder_09/mul1.pl | YES 1645 |
| tpdb-8.0/LP/CUT/Stroeder_09/num2.pl | YES 1165 |
| tpdb-8.0/LP/CUT/Stroeder_09/num.pl | YES 1294 |
| tpdb-8.0/LP/CUT/Stroeder_09/ordered2.pl | MAYBE 3238 |
| tpdb-8.0/LP/CUT/Stroeder_09/ordered3.pl | YES 1967 |
| tpdb-8.0/LP/CUT/Stroeder_09/ordered.pl | YES 2129 |
| tpdb-8.0/LP/CUT/Stroeder_09/overlap1.pl | YES 1431 |
| tpdb-8.0/LP/CUT/Stroeder_09/overlap2.pl | YES 1476 |
| tpdb-8.0/LP/CUT/Stroeder_09/plumer356.pl | MAYBE 2106 |
| tpdb-8.0/LP/CUT/Stroeder_09/plumer453a.pl | YES 1112 |
| tpdb-8.0/LP/CUT/Stroeder_09/plumer453b.pl | YES 1129 |
| tpdb-8.0/LP/CUT/Stroeder_09/plumer453c.pl | YES 1155 |
| tpdb-8.0/LP/CUT/Stroeder_09/preorder.pl | YES 1634 |
| tpdb-8.0/LP/CUT/Stroeder_09/prime_fact.pl | TIMEOUT 60454 |
| tpdb-8.0/LP/CUT/Stroeder_09/quot1.pl | YES 2349 |
| tpdb-8.0/LP/CUT/Stroeder_09/quot2.pl | YES 7848 |
| tpdb-8.0/LP/CUT/Stroeder_09/rev2.pl | YES 1935 |
| tpdb-8.0/LP/CUT/Stroeder_09/rev.pl | YES 1647 |
| tpdb-8.0/LP/CUT/Stroeder_09/select1.pl | YES 1404 |
| tpdb-8.0/LP/CUT/Stroeder_09/select2.pl | YES 1600 |
| tpdb-8.0/LP/CUT/Stroeder_09/subset-oi.pl | TIMEOUT 60800 |
| tpdb-8.0/LP/CUT/Stroeder_09/times1.pl | MAYBE 10930 |
| tpdb-8.0/LP/CUT/Stroeder_09/transpose1.pl | YES 9207 |
| tpdb-8.0/LP/CUT/Stroeder_09/tree2.pl | YES 1430 |
| tpdb-8.0/LP/CUT/Stroeder_09/tree.pl | YES 1400 |
| tpdb-8.0/LP/CUT/Stroeder_09/ts01.pl | YES 1148 |
| tpdb-8.0/LP/CUT/Stroeder_09/ts02.pl | YES 1157 |
| tpdb-8.0/LP/CUT/Stroeder_09/ts03.pl | YES 1163 |
| tpdb-8.0/LP/CUT/Stroeder_09/vlcnd.pl | MAYBE 4571 | 87 |