QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_ph_p
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_ph_p-11 | rev_qfun0.1 | UNSAT | 11.4 |  |
| k_ph_p-12 | dynQBF-bloqqer-hqspre | UNSAT | 136.49 | |
| k_ph_p-13 | dynQBF-bloqqer-hqspre | UNSAT | 111.66 | |
| k_ph_p-14 | dynQBF-bloqqer-hqspre | UNSAT | 149.21 | |
| k_ph_p-15 | dynQBF-bloqqer-hqspre | UNSAT | 209.41 | |