QBF Solver Evaluation Portal
qbflib.orgInstances of family Blocks solved by preQuel_sKizzo-0.10
QBFEVAL'07
| Instance | Result | Time | |
|---|---|---|---|
| BLOCKS3i.5.3 | UNSAT | 0.08 | |
| BLOCKS4ii.7.2 | UNSAT | 9.69 | |
| BLOCKS4iii.6 | UNSAT | 10.22 | |
| BLOCKS4i.6.4 | UNSAT | 13.09 | |
| BLOCKS4iii.7 | SAT | 14.06 | |
| BLOCKS4ii.6.3 | UNSAT | 15.45 |