QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Blocks
QBFEVAL'10 - Competitive Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| BLOCKS3i.5.3 | AIGSolve | UNSAT | 0.07 |  |
| BLOCKS3ii.5.2 | AIGSolve | UNSAT | 0.04 | |
| BLOCKS3iii.5 | depqbf-pre | SAT | 0.03 | |
| BLOCKS4ii.7.2 | quantor-3.1 | UNSAT | 7.63 | |
| BLOCKS4iii.7 | quantor-3.1 | SAT | 8.28 | |