| benchmark | AProVE |
|---|---|
| tpdb-8.0/LP/CUT/AProVE_10_cut/lateinst.pl | YES 845 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/latesplit.pl | MAYBE 2052 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts04.pl | YES 1009 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts05.pl | YES 857 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts06.pl | MAYBE 1762 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts07.pl | MAYBE 1754 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts09.pl | YES 806 |
| tpdb-8.0/LP/CUT/AProVE_10_cut/ts10.pl | MAYBE 2026 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/appendex.pl | MAYBE 1967 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminuslinear.pl | YES 1922 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminus.pl | YES 1715 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus1.pl | YES 1093 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus2.pl | YES 1828 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus3.pl | YES 1075 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus4.pl | YES 862 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/negationasfailure.pl | YES 1005 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/short1.pl | YES 926 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/short2.pl | YES 857 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/append_linear.pl | YES 1044 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/existential.pl | MAYBE 2014 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/less1.pl | TIMEOUT 60499 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/less2.pl | YES 1006 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/max_valued.pl | YES 852 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk01.pl | MAYBE 2017 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/shape.pl | YES 987 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/shuffle.pl | YES 1061 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/star1.pl | YES 1717 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief1.pl | MAYBE 2077 |
| tpdb-8.0/LP/CUT/Stroeder_09/add1.pl | YES 999 |
| tpdb-8.0/LP/CUT/Stroeder_09/add3.pl | YES 995 |
| tpdb-8.0/LP/CUT/Stroeder_09/app2.pl | MAYBE 5334 |
| tpdb-8.0/LP/CUT/Stroeder_09/app3.pl | YES 1017 |
| tpdb-8.0/LP/CUT/Stroeder_09/applast.pl | MAYBE 10143 |
| tpdb-8.0/LP/CUT/Stroeder_09/btappend.pl | MAYBE 6855 |
| tpdb-8.0/LP/CUT/Stroeder_09/btapplast.pl | MAYBE 10302 |
| tpdb-8.0/LP/CUT/Stroeder_09/btree.pl | YES 1395 |
| tpdb-8.0/LP/CUT/Stroeder_09/confdel.pl | YES 1384 |
| tpdb-8.0/LP/CUT/Stroeder_09/dependency2.pl | YES 1423 |
| tpdb-8.0/LP/CUT/Stroeder_09/dependency.pl | YES 1271 |
| tpdb-8.0/LP/CUT/Stroeder_09/divminus2.pl | YES 1578 |
| tpdb-8.0/LP/CUT/Stroeder_09/fold1.pl | YES 904 |
| tpdb-8.0/LP/CUT/Stroeder_09/lessleaves.pl | MAYBE 15954 |
| tpdb-8.0/LP/CUT/Stroeder_09/less.pl | YES 1050 |
| tpdb-8.0/LP/CUT/Stroeder_09/lte2.pl | YES 894 |
| tpdb-8.0/LP/CUT/Stroeder_09/mul1.pl | YES 1225 |
| tpdb-8.0/LP/CUT/Stroeder_09/plumer453a.pl | YES 857 |
| tpdb-8.0/LP/CUT/Stroeder_09/plumer453b.pl | YES 853 |
| tpdb-8.0/LP/CUT/Stroeder_09/prime_fact.pl | TIMEOUT 60522 |
| tpdb-8.0/LP/CUT/Stroeder_09/times1.pl | MAYBE 16906 |
| tpdb-8.0/LP/CUT/Stroeder_09/ts02.pl | YES 842 | 34 |