| benchmark | AProVE |
|---|---|
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/addneg.pl | YES 1015 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and1.pl | YES 842 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and2.pl | MAYBE 1599 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/dyck.pl | YES 871 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even2.pl | MAYBE 1690 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even3.pl | YES 842 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even.pl | YES 863 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/grammar.pl | YES 901 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/inequality1.pl | MAYBE 1676 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/lateinstance.pl | YES 831 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/terminate.pl | MAYBE 1691 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/fib.pl | MAYBE 2663 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/gtsolve.pl | YES 823 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/kay4.pl | YES 914 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort_ap_variant.pl | MAYBE 19219 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort.pl | YES 3551 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/primes.pl | MAYBE 2768 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-distance.pl | MAYBE 3654 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/taboch_queens.pl | YES 1659 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/tautology.pl | YES 19890 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/terminweb_queens.pl | YES 1645 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/totient.pl | MAYBE 28213 |
| tpdb-8.0/LP/PROLOG/talp_maria/bid.pl | YES 3200 |
| tpdb-8.0/LP/PROLOG/talp_maria/boyer.pl | MAYBE 1931 |
| tpdb-8.0/LP/PROLOG/talp_maria/browse.pl | MAYBE 1115 |
| tpdb-8.0/LP/PROLOG/talp_maria/deriv.pl | YES 926 |
| tpdb-8.0/LP/PROLOG/talp_maria/grammar2.pl | YES 1238 |
| tpdb-8.0/LP/PROLOG/talp_maria/hanoiapp.pl | MAYBE 15712 |
| tpdb-8.0/LP/PROLOG/talp_maria/occur.pl | YES 1666 |
| tpdb-8.0/LP/PROLOG/talp_maria/qplan.pl | YES 1740 |
| tpdb-8.0/LP/PROLOG/talp_maria/query.pl | YES 1330 |
| tpdb-8.0/LP/PROLOG/talp_maria/rdtok.pl | MAYBE 1459 |
| tpdb-8.0/LP/PROLOG/talp_maria/read.pl | MAYBE 1619 | 19 |