QBF Solver Evaluation Portal
qbflib.orgSota solver results for family genbuf
QBFEVAL'19 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| genbuf10b4y.unsat | quabs___caqe-hqspre | UNSAT | 79.87 |  |
| genbuf1b4y.unsat | GhostQ___plain_qcir_2019 | UNSAT | 0.11 | |
| genbuf5b4n.unsat | quabs___caqe-hqspre | UNSAT | 10.47 | |
| genbuf9b4n.unsat | quabs___caqe-hqspre | UNSAT | 85.16 | |