Instances of family Blocks solved by Adaptive2clsQ
QBFEVAL'07

InstanceResultTime
BLOCKS3i.5.3UNSAT0.26
BLOCKS4iii.6UNSAT7.75
BLOCKS4ii.6.3UNSAT15.76
BLOCKS4i.6.4UNSAT17.29
BLOCKS4ii.7.2UNSAT22.92
BLOCKS4iii.7SAT23.39