QBF Solver Evaluation Portal
qbflib.orgInstances of family k_grz_p solved by QUBE-BJ
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| k_grz_p-3 | UNSAT | 5.15 | |
| k_grz_p-4 | UNSAT | 11.24 | |
| k_grz_p-9 | UNSAT | 32.3 | |
| k_grz_p-10 | UNSAT | 85.44 | |
| k_grz_p-16 | UNSAT | 576.51 | |
| k_grz_p-14 | UNSAT | 694.78 | |
| k_grz_p-17 | FAIL | 901.03 | |
| k_grz_p-19 | FAIL | 901.04 |