| benchmark | AProVE |
|---|---|
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/appendex.pl | MAYBE 3029 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminuslinear.pl | YES 3082 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminus.pl | YES 2528 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus1.pl | YES 1846 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus2.pl | YES 2241 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus3.pl | YES 1846 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus4.pl | YES 1684 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/negationasfailure.pl | YES 1787 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/short1.pl | YES 1742 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_08/short2.pl | YES 1700 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/append_linear.pl | YES 1834 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/existential.pl | MAYBE 2974 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/len.pl | MAYBE 4133 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/less1.pl | TIMEOUT 60523 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/less2.pl | YES 1868 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/max_valued.pl | YES 1738 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk02.pl | YES 1756 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk03.pl | MAYBE 2911 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/shuffle.pl | YES 1902 |
| tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief1.pl | TIMEOUT 60514 |
| tpdb-8.0/LP/CUT/Stroeder_09/add3.pl | YES 1792 |
| tpdb-8.0/LP/CUT/Stroeder_09/btapplast.pl | MAYBE 14933 |
| tpdb-8.0/LP/CUT/Stroeder_09/btree2.pl | YES 2404 |
| tpdb-8.0/LP/CUT/Stroeder_09/btree.pl | YES 2296 |
| tpdb-8.0/LP/CUT/Stroeder_09/confdel.pl | YES 2394 |
| tpdb-8.0/LP/CUT/Stroeder_09/cutpos2.pl | MAYBE 2986 |
| tpdb-8.0/LP/CUT/Stroeder_09/fold1.pl | YES 1704 |
| tpdb-8.0/LP/CUT/Stroeder_09/fold2.pl | YES 1786 |
| tpdb-8.0/LP/CUT/Stroeder_09/fold3.pl | YES 1871 |
| tpdb-8.0/LP/CUT/Stroeder_09/giesl97.pl | MAYBE 18421 |
| tpdb-8.0/LP/CUT/Stroeder_09/gopher1.pl | YES 1922 |
| tpdb-8.0/LP/CUT/Stroeder_09/inorder-oi.pl | YES 2322 |
| tpdb-8.0/LP/CUT/Stroeder_09/list2.pl | YES 1739 |
| tpdb-8.0/LP/CUT/Stroeder_09/map.pl | YES 1846 |
| tpdb-8.0/LP/CUT/Stroeder_09/num2.pl | YES 1687 |
| tpdb-8.0/LP/CUT/Stroeder_09/ordered3.pl | YES 2936 |
| tpdb-8.0/LP/CUT/Stroeder_09/ordered.pl | YES 2461 |
| tpdb-8.0/LP/CUT/Stroeder_09/prime_fact.pl | TIMEOUT 60615 |
| tpdb-8.0/LP/CUT/Stroeder_09/times1.pl | MAYBE 37894 |
| tpdb-8.0/LP/CUT/Stroeder_09/ts01.pl | YES 1698 |
| tpdb-8.0/LP/CUT/Stroeder_09/ts02.pl | YES 1694 |
| tpdb-8.0/LP/CUT/Stroeder_09/vlcnd.pl | TIMEOUT 60531 | 30 |