| benchmark | AProVE |
|---|---|
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/addneg.pl | YES 1361 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and1.pl | YES 1120 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and2.pl | MAYBE 1971 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/divrempredef.pl | YES 1798 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/dyck.pl | YES 1231 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/equality1.pl | MAYBE 2153 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/equality2.pl | MAYBE 2192 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even2.pl | MAYBE 2096 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even3.pl | YES 1125 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even.pl | YES 1128 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/existpredef.pl | MAYBE 1074 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/grammar.pl | YES 1235 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/inequality1.pl | MAYBE 2071 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/inequality2.pl | MAYBE 2733 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/lateinstance.pl | YES 1132 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/nonterm.pl | YES 1123 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/nounify.pl | MAYBE 2181 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/term2.pl | MAYBE 2047 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/terminate.pl | MAYBE 1918 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/term.pl | YES 1113 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/curry_ap.pl | MAYBE 2613 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/dc_schema.pl | YES 1124 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/factorial.pl | YES 1206 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/fib-oi.pl | TIMEOUT 60523 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/fib.pl | TIMEOUT 60595 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/gtsolve.pl | YES 1105 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/hanoi.pl | TIMEOUT 60559 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/kay4.pl | YES 1255 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort_ap_variant.pl | MAYBE 29535 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort.pl | YES 4258 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/numbervars.pl | MAYBE 1226 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/permute2.pl | YES 1543 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/primes.pl | TIMEOUT 60676 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-cycle.pl | TIMEOUT 60539 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-distance.pl | TIMEOUT 60408 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/quicksort.pl | YES 2519 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/taboch_queens.pl | YES 2282 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/tautology.pl | YES 18965 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/terminweb_queens.pl | YES 2267 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/totient.pl | TIMEOUT 60522 |
| tpdb-8.0/LP/PROLOG/talp_maria/aiakl.pl | YES 1702 |
| tpdb-8.0/LP/PROLOG/talp_maria/ann.pl | MAYBE 2276 |
| tpdb-8.0/LP/PROLOG/talp_maria/bid.pl | YES 3639 |
| tpdb-8.0/LP/PROLOG/talp_maria/boyer.pl | MAYBE 2090 |
| tpdb-8.0/LP/PROLOG/talp_maria/browse.pl | MAYBE 1472 |
| tpdb-8.0/LP/PROLOG/talp_maria/deriv-oii.pl | YES 1246 |
| tpdb-8.0/LP/PROLOG/talp_maria/deriv.pl | YES 1264 |
| tpdb-8.0/LP/PROLOG/talp_maria/fib.pl | YES 29134 |
| tpdb-8.0/LP/PROLOG/talp_maria/grammar2.pl | YES 1677 |
| tpdb-8.0/LP/PROLOG/talp_maria/grammar.pl | YES 1466 |
| tpdb-8.0/LP/PROLOG/talp_maria/hanoiapp.pl | YES 20770 |
| tpdb-8.0/LP/PROLOG/talp_maria/mmatrix.pl | YES 1681 |
| tpdb-8.0/LP/PROLOG/talp_maria/money.pl | YES 2868 |
| tpdb-8.0/LP/PROLOG/talp_maria/occur.pl | YES 2593 |
| tpdb-8.0/LP/PROLOG/talp_maria/peephole.pl | MAYBE 2165 |
| tpdb-8.0/LP/PROLOG/talp_maria/progeom.pl | MAYBE 29894 |
| tpdb-8.0/LP/PROLOG/talp_maria/qplan.pl | YES 2027 |
| tpdb-8.0/LP/PROLOG/talp_maria/qsortapp.pl | YES 2612 |
| tpdb-8.0/LP/PROLOG/talp_maria/query.pl | YES 1737 |
| tpdb-8.0/LP/PROLOG/talp_maria/rdtok.pl | MAYBE 1832 |
| tpdb-8.0/LP/PROLOG/talp_maria/read.pl | MAYBE 1812 |
| tpdb-8.0/LP/PROLOG/talp_maria/serialize.pl | MAYBE 37011 |
| tpdb-8.0/LP/PROLOG/talp_maria/tak.pl | TIMEOUT 60435 |
| tpdb-8.0/LP/PROLOG/talp_maria/tictactoe.pl | MAYBE 2649 |
| tpdb-8.0/LP/PROLOG/talp_maria/warplan.pl | MAYBE 1842 | 34 |