QBF Solver Evaluation Portal
qbflib.orgInstances of family Connect9 solved by QMRes
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| cf_9_9x9_w_ | FAIL | 4.81 | |
| cf_9_9x9_d_ | FAIL | 4.82 | |
| cf_9_9x9_r_ | FAIL | 4.82 |
| Instance | Result | Time | |
|---|---|---|---|
| cf_9_9x9_w_ | FAIL | 4.81 | |
| cf_9_9x9_d_ | FAIL | 4.82 | |
| cf_9_9x9_r_ | FAIL | 4.82 |