| benchmark | AProVE |
|---|---|
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/addneg.pl | YES 951 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and1.pl | YES 790 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and2.pl | MAYBE 1708 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/divrempredef.pl | YES 1454 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/dyck.pl | YES 850 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/equality1.pl | MAYBE 1778 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/equality2.pl | MAYBE 1824 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even2.pl | MAYBE 1736 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even3.pl | YES 783 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even.pl | YES 788 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/existpredef.pl | MAYBE 778 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/grammar.pl | YES 874 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/inequality1.pl | MAYBE 1786 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/inequality2.pl | MAYBE 2298 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/lateinstance.pl | YES 793 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/nonterm.pl | YES 791 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/nounify.pl | MAYBE 1804 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/term2.pl | MAYBE 2036 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/terminate.pl | MAYBE 1839 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/term.pl | YES 794 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/curry_ap.pl | MAYBE 2206 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/dc_schema.pl | YES 796 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/factorial.pl | YES 846 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/fib-oi.pl | TIMEOUT 60533 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/fib.pl | TIMEOUT 60567 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/gtsolve.pl | YES 778 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/hanoi.pl | TIMEOUT 60906 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/kay4.pl | YES 870 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort_ap_variant.pl | MAYBE 30949 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort.pl | YES 4483 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/numbervars.pl | MAYBE 886 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/permute2.pl | YES 1228 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/primes.pl | TIMEOUT 60797 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-cycle.pl | TIMEOUT 60804 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-distance.pl | TIMEOUT 60797 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/quicksort.pl | YES 2378 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/taboch_queens.pl | YES 1970 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/tautology.pl | YES 25715 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/terminweb_queens.pl | YES 2133 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/totient.pl | TIMEOUT 60700 |
| tpdb-8.0/LP/PROLOG/talp_maria/aiakl.pl | YES 1525 |
| tpdb-8.0/LP/PROLOG/talp_maria/ann.pl | MAYBE 2690 |
| tpdb-8.0/LP/PROLOG/talp_maria/bid.pl | YES 3548 |
| tpdb-8.0/LP/PROLOG/talp_maria/boyer.pl | MAYBE 2030 |
| tpdb-8.0/LP/PROLOG/talp_maria/browse.pl | MAYBE 17213 |
| tpdb-8.0/LP/PROLOG/talp_maria/deriv-oii.pl | YES 893 |
| tpdb-8.0/LP/PROLOG/talp_maria/deriv.pl | YES 922 |
| tpdb-8.0/LP/PROLOG/talp_maria/fib.pl | YES 34710 |
| tpdb-8.0/LP/PROLOG/talp_maria/grammar2.pl | YES 1233 |
| tpdb-8.0/LP/PROLOG/talp_maria/grammar.pl | YES 1045 |
| tpdb-8.0/LP/PROLOG/talp_maria/hanoiapp.pl | YES 22412 |
| tpdb-8.0/LP/PROLOG/talp_maria/mmatrix.pl | YES 1422 |
| tpdb-8.0/LP/PROLOG/talp_maria/money.pl | YES 3253 |
| tpdb-8.0/LP/PROLOG/talp_maria/occur.pl | YES 2544 |
| tpdb-8.0/LP/PROLOG/talp_maria/peephole.pl | MAYBE 2081 |
| tpdb-8.0/LP/PROLOG/talp_maria/progeom.pl | MAYBE 41801 |
| tpdb-8.0/LP/PROLOG/talp_maria/qplan.pl | YES 1821 |
| tpdb-8.0/LP/PROLOG/talp_maria/qsortapp.pl | YES 2476 |
| tpdb-8.0/LP/PROLOG/talp_maria/query.pl | YES 1345 |
| tpdb-8.0/LP/PROLOG/talp_maria/rdtok.pl | MAYBE 1428 |
| tpdb-8.0/LP/PROLOG/talp_maria/read.pl | MAYBE 1844 |
| tpdb-8.0/LP/PROLOG/talp_maria/serialize.pl | MAYBE 52207 |
| tpdb-8.0/LP/PROLOG/talp_maria/tak.pl | TIMEOUT 60808 |
| tpdb-8.0/LP/PROLOG/talp_maria/tictactoe.pl | MAYBE 2439 |
| tpdb-8.0/LP/PROLOG/talp_maria/warplan.pl | MAYBE 1389 | 34 |