QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_ph_p
QBFEVAL'16 - Prenex CNF Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_ph_p-1 | aqua-s2v | UNSAT | 0 |  |
| k_ph_p-10 | xb-bid-qsts | UNSAT | 5.75 | |
| k_ph_p-12 | xb-bid-qsts | UNSAT | 80.82 | |
| k_ph_p-13 | xb-bid-qsts | UNSAT | 158.16 | |
| k_ph_p-3 | squeezebf+struqs | UNSAT | 0 | |
| k_ph_p-5 | rareqs | UNSAT | 0 | |