| benchmark | AProVE |
|---|---|
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/addneg.pl | YES 966 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and1.pl | YES 779 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and2.pl | MAYBE 1648 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/divrempredef.pl | YES 1477 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even3.pl | YES 806 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even.pl | YES 775 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/grammar.pl | YES 856 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/inequality1.pl | MAYBE 1803 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/inequality2.pl | MAYBE 2307 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/lateinstance.pl | YES 799 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/nonterm.pl | YES 773 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/curry_ap.pl | MAYBE 2213 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/fib-oi.pl | TIMEOUT 60471 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/fib.pl | TIMEOUT 60804 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort_ap_variant.pl | MAYBE 31912 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/permute2.pl | YES 1174 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/primes.pl | TIMEOUT 60661 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-distance.pl | TIMEOUT 60650 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/quicksort.pl | YES 2361 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/taboch_queens.pl | YES 1993 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/tautology.pl | YES 25285 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/totient.pl | TIMEOUT 60864 |
| tpdb-8.0/LP/PROLOG/talp_maria/browse.pl | MAYBE 17400 |
| tpdb-8.0/LP/PROLOG/talp_maria/deriv-oii.pl | YES 894 |
| tpdb-8.0/LP/PROLOG/talp_maria/money.pl | YES 3275 |
| tpdb-8.0/LP/PROLOG/talp_maria/occur.pl | YES 2593 |
| tpdb-8.0/LP/PROLOG/talp_maria/peephole.pl | MAYBE 2035 |
| tpdb-8.0/LP/PROLOG/talp_maria/progeom.pl | MAYBE 40187 |
| tpdb-8.0/LP/PROLOG/talp_maria/qplan.pl | YES 1817 |
| tpdb-8.0/LP/PROLOG/talp_maria/qsortapp.pl | YES 2418 |
| tpdb-8.0/LP/PROLOG/talp_maria/query.pl | YES 1367 |
| tpdb-8.0/LP/PROLOG/talp_maria/read.pl | MAYBE 1784 |
| tpdb-8.0/LP/PROLOG/talp_maria/warplan.pl | MAYBE 1363 | 18 |