QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Blocks
QBFEVAL'07
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| BLOCKS3i.5.3 | preQuel_sKizzo-0.10 | UNSAT | 0.08 |  |
| BLOCKS4i.6.4 | qSS | UNSAT | 0.79 | |
| BLOCKS4ii.6.3 | qSS | UNSAT | 0.87 | |
| BLOCKS4ii.7.2 | sKizzo-0.10-qck | UNSAT | 4.22 | |
| BLOCKS4iii.6 | sKizzo-0.10-qck | UNSAT | 3.31 | |
| BLOCKS4iii.7 | sKizzo-0.10-qck | SAT | 4.58 | |