| benchmark | AProVE |
|---|---|
| tpdb-8.0/LP/CUT/AProVE_10_cut/lateinst.pl | YES 838 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/latesplit.pl | MAYBE 1694 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts04.pl | YES 1030 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts05.pl | YES 834 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts06.pl | MAYBE 1478 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts07.pl | MAYBE 1611 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts09.pl | YES 824 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts10.pl | MAYBE 1670 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/appendex.pl | MAYBE 1668 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminuslinear.pl | YES 1668 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminus.pl | YES 1439 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus1.pl | YES 1133 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus2.pl | YES 1609 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus3.pl | YES 1046 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus4.pl | YES 855 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/negationasfailure.pl | YES 974 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/short1.pl | YES 922 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/short2.pl | YES 851 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/append_linear.pl | YES 1047 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/hidden_flatten.pl | YES 1315 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/len.pl | MAYBE 2155 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/less1.pl | TIMEOUT 60337 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/less2.pl | YES 1036 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/negationasfailure.pl | YES 984 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk01.pl | MAYBE 1648 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk02.pl | YES 890 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/shuffle.pl | YES 1075 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/star1.pl | YES 1551 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief2.pl | YES 831 |
| tpdb-8.0/LP/CUT/Stroeder_09/add1.pl | YES 984 |
| tpdb-8.0/LP/CUT/Stroeder_09/add2.pl | MAYBE 2167 |
| tpdb-8.0/LP/CUT/Stroeder_09/add3.pl | YES 1014 |
| tpdb-8.0/LP/CUT/Stroeder_09/app3.pl | YES 1046 |
| tpdb-8.0/LP/CUT/Stroeder_09/average1.pl | MAYBE 37175 |
| tpdb-8.0/LP/CUT/Stroeder_09/btapplast.pl | MAYBE 5754 |
| tpdb-8.0/LP/CUT/Stroeder_09/confdel.pl | YES 1301 |
| tpdb-8.0/LP/CUT/Stroeder_09/convert.pl | YES 1857 |
| tpdb-8.0/LP/CUT/Stroeder_09/countstack2.pl | YES 1389 |
| tpdb-8.0/LP/CUT/Stroeder_09/cutpos1.pl | YES 832 |
| tpdb-8.0/LP/CUT/Stroeder_09/divminus2.pl | YES 1520 |
| tpdb-8.0/LP/CUT/Stroeder_09/fold2.pl | YES 953 |
| tpdb-8.0/LP/CUT/Stroeder_09/fold3.pl | YES 1115 |
| tpdb-8.0/LP/CUT/Stroeder_09/giesl97.pl | YES 1351 |
| tpdb-8.0/LP/CUT/Stroeder_09/gopher1.pl | YES 1022 |
| tpdb-8.0/LP/CUT/Stroeder_09/gopher2.pl | YES 1161 |
| tpdb-8.0/LP/CUT/Stroeder_09/len.pl | YES 991 |
| tpdb-8.0/LP/CUT/Stroeder_09/num.pl | YES 951 |
| tpdb-8.0/LP/CUT/Stroeder_09/ordered2.pl | MAYBE 4832 |
| tpdb-8.0/LP/CUT/Stroeder_09/ordered.pl | YES 1645 |
| tpdb-8.0/LP/CUT/Stroeder_09/tree2.pl | YES 1057 |
| tpdb-8.0/LP/CUT/Stroeder_09/vlcnd.pl | TIMEOUT 60533 | 38 |