| benchmark | AProVE |
|---|---|
| tpdb-8.0/LP/CUT/AProVE_10_cut/lateinst.pl | YES 788 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/latesplit.pl | MAYBE 1787 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts04.pl | YES 957 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts05.pl | YES 777 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts06.pl | MAYBE 1405 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts07.pl | MAYBE 1603 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts09.pl | YES 774 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts10.pl | MAYBE 1645 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/appendex.pl | MAYBE 1625 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminuslinear.pl | YES 1703 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminus.pl | YES 1791 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus1.pl | YES 1216 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus2.pl | YES 1877 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus3.pl | YES 1037 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus4.pl | YES 786 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/negationasfailure.pl | YES 917 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/short1.pl | YES 852 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/short2.pl | YES 807 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/hidden_flatten.pl | YES 1484 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/len.pl | MAYBE 3098 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/less1.pl | TIMEOUT 60373 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/less2.pl | YES 965 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/negationasfailure.pl | YES 935 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk01.pl | MAYBE 1655 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk02.pl | YES 826 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk03.pl | MAYBE 1682 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/shape.pl | YES 926 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/soundex.pl | YES 1487 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief1.pl | MAYBE 1610 |
| tpdb-8.0/LP/CUT/Stroeder_09/app2.pl | MAYBE 4271 |
| tpdb-8.0/LP/CUT/Stroeder_09/bappend.pl | YES 1251 |
| tpdb-8.0/LP/CUT/Stroeder_09/blist2.pl | YES 1091 |
| tpdb-8.0/LP/CUT/Stroeder_09/blist.pl | YES 1069 |
| tpdb-8.0/LP/CUT/Stroeder_09/btappend.pl | MAYBE 9794 |
| tpdb-8.0/LP/CUT/Stroeder_09/btree2.pl | YES 1391 |
| tpdb-8.0/LP/CUT/Stroeder_09/btree.pl | YES 1320 |
| tpdb-8.0/LP/CUT/Stroeder_09/cutpos1.pl | YES 776 |
| tpdb-8.0/LP/CUT/Stroeder_09/divremain2.pl | YES 1722 |
| tpdb-8.0/LP/CUT/Stroeder_09/duplicate1.pl | YES 947 |
| tpdb-8.0/LP/CUT/Stroeder_09/gopher1.pl | YES 979 |
| tpdb-8.0/LP/CUT/Stroeder_09/len.pl | YES 918 |
| tpdb-8.0/LP/CUT/Stroeder_09/lessleaves.pl | MAYBE 13664 |
| tpdb-8.0/LP/CUT/Stroeder_09/list2.pl | YES 802 |
| tpdb-8.0/LP/CUT/Stroeder_09/mul1.pl | YES 1261 |
| tpdb-8.0/LP/CUT/Stroeder_09/num.pl | YES 917 |
| tpdb-8.0/LP/CUT/Stroeder_09/ordered.pl | YES 2056 |
| tpdb-8.0/LP/CUT/Stroeder_09/overlap1.pl | YES 1210 |
| tpdb-8.0/LP/CUT/Stroeder_09/plumer356.pl | MAYBE 2381 |
| tpdb-8.0/LP/CUT/Stroeder_09/plumer453b.pl | YES 787 |
| tpdb-8.0/LP/CUT/Stroeder_09/preorder.pl | YES 1240 |
| tpdb-8.0/LP/CUT/Stroeder_09/tree.pl | YES 998 | 37 |