QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_grz_p
QBFEVAL'07
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_grz_p-12 | sKizzo-0.10-qck | UNSAT | 0.15 |  |
| k_grz_p-16 | sKizzo-0.10-qck | UNSAT | 0.3 | |
| k_grz_p-20 | preQuel_sKizzo-0.10 | UNSAT | 0.44 | |
| k_grz_p-21 | preQuel_sKizzo-0.10 | UNSAT | 0.59 | |