QBF Solver Evaluation Portal
qbflib.orgInstances of family genbuf solved by ASPQ2
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| genbuf7b4n.sat | FAIL | 700.64 | |
| genbuf8b4n.sat | FAIL | 700.98 | |
| genbuf14b4y.sat | FAIL | 701.71 | |
| genbuf12b4y.sat | FAIL | 702.1 |