QBF Solver Evaluation Portal
qbflib.orgInstances of family genbuf solved by qbfrelay
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| genbuf7b4n.sat | FAIL | 68.08 | |
| genbuf8b4n.sat | FAIL | 198.38 | |
| genbuf14b4y.sat | FAIL | 352.7 | |
| genbuf12b4y.sat | FAIL | 466.09 |