QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_grz_p
QBFEVAL'05
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_grz_p-12 | QUANTOR | UNSAT | 0.04 |  |
| k_grz_p-16 | QUANTOR | UNSAT | 1.42 | |
| k_grz_p-20 | QMRes | UNSAT | 2.58 | |
| k_grz_p-21 | QUANTOR | UNSAT | 2.56 | |
| k_grz_p-4 | QUANTOR | UNSAT | 0.01 | |
| k_grz_p-8 | QUANTOR | UNSAT | 0.02 | |