QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Connect3
QBFEVAL'04
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| cf_3_5x4_r_ | QBFL-JW | UNSAT | 0.03 |  |
| cf_3_6x4_w_ | QBFL-BS | UNSAT | 0.04 | |
| cf_3_7x9_w_ | QBFL-BS | UNSAT | 0.48 | |
| cf_3_8x8_w_ | QBFL-JW | UNSAT | 0.39 | |
| cf_3_8x9_d_ | QBFL-BS | UNSAT | 0.54 | |
| cf_3_9x5_d_ | QUANTOR | UNSAT | 0.3 | |
| cf_3_9x5_r_ | QBFL-JW | UNSAT | 0.31 | |
| cf_3_9x9_w_ | QBFL-BS | UNSAT | 0.57 | |