Instances of family Blocks solved by 2clsQ
QBFEVAL'06

InstanceResultTime
BLOCKS3i.4.4UNSAT0.02
BLOCKS3iii.5SAT0.07
BLOCKS3ii.5.2UNSAT0.09
BLOCKS3ii.5.3SAT0.1
BLOCKS3i.5.3UNSAT0.12
BLOCKS3i.5.4SAT0.14
BLOCKS4iii.6UNSAT3.27
BLOCKS4ii.6.3UNSAT3.91
BLOCKS4i.6.4UNSAT4.36
BLOCKS4ii.7.2UNSAT7.01
BLOCKS4iii.7SAT9.5