| benchmark | AProVE |
|---|---|
| tpdb-8.0/LP/PROLOG/prolog_mixed/dc_schema.pl | MAYBE 9313 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/factorial.pl | YES 1834 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/fib-oi.pl | TIMEOUT 60697 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/kay4.pl | MAYBE 1745 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort_ap_variant.pl | TIMEOUT 60563 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/mergesort.pl | YES 9851 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/permute2.pl | YES 2009 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-cycle.pl | TIMEOUT 60524 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/psk09-distance.pl | TIMEOUT 60565 |
| tpdb-8.0/LP/PROLOG/prolog_mixed/totient.pl | TIMEOUT 60521 |
| tpdb-8.0/LP/PROLOG/talp_maria/aiakl.pl | MAYBE 1846 |
| tpdb-8.0/LP/PROLOG/talp_maria/ann.pl | MAYBE 3182 |
| tpdb-8.0/LP/PROLOG/talp_maria/boyer.pl | MAYBE 2494 |
| tpdb-8.0/LP/PROLOG/talp_maria/browse.pl | MAYBE 30323 |
| tpdb-8.0/LP/PROLOG/talp_maria/grammar.pl | YES 1914 |
| tpdb-8.0/LP/PROLOG/talp_maria/money.pl | YES 3377 |
| tpdb-8.0/LP/PROLOG/talp_maria/qsortapp.pl | YES 3392 |
| tpdb-8.0/LP/PROLOG/talp_maria/read.pl | TIMEOUT 60561 |
| tpdb-8.0/LP/PROLOG/talp_maria/serialize.pl | TIMEOUT 60539 |
| tpdb-8.0/LP/PROLOG/talp_maria/warplan.pl | MAYBE 2204 | 6 |