| benchmark | AProVE |
|---|---|
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/and2.pl | MAYBE 1760 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/divrempredef.pl | YES 1676 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/dyck.pl | YES 900 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/equality1.pl | MAYBE 1954 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/equality2.pl | MAYBE 1924 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even2.pl | MAYBE 1983 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/even.pl | YES 852 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/existpredef.pl | MAYBE 782 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/nonterm.pl | YES 856 |
| tpdb-8.0/LP/PROLOG/AProVE_10_prolog/nounify.pl | MAYBE 1940 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/curry_ap.pl | MAYBE 2666 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/dc_schema.pl | YES 837 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/factorial.pl | YES 948 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/gtsolve.pl | YES 849 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/kay4.pl | YES 960 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort.pl | YES 10144 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/numbervars.pl | MAYBE 896 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/permute2.pl | YES 1239 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/primes.pl | MAYBE 1924 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/terminweb_queens.pl | YES 1912 |
| tpdb-8.0/LP/PROLOG/talp_maria/deriv.pl | YES 974 |
| tpdb-8.0/LP/PROLOG/talp_maria/fib.pl | YES 5514 |
| tpdb-8.0/LP/PROLOG/talp_maria/grammar2.pl | YES 1272 |
| tpdb-8.0/LP/PROLOG/talp_maria/mmatrix.pl | YES 3241 |
| tpdb-8.0/LP/PROLOG/talp_maria/money.pl | YES 2912 |
| tpdb-8.0/LP/PROLOG/talp_maria/occur.pl | YES 2695 |
| tpdb-8.0/LP/PROLOG/talp_maria/peephole.pl | MAYBE 1643 |
| tpdb-8.0/LP/PROLOG/talp_maria/qsortapp.pl | YES 3053 |
| tpdb-8.0/LP/PROLOG/talp_maria/serialize.pl | TIMEOUT 60451 |
| tpdb-8.0/LP/PROLOG/talp_maria/tak.pl | TIMEOUT 60507 | 18 |