Instances of family Blocks solved by QuBE6.1
QBFEVAL'08

InstanceResultTime
BLOCKS3iii.4UNSAT0.05
BLOCKS3ii.4.3UNSAT0.07
BLOCKS3i.4.4UNSAT0.09
BLOCKS3ii.5.2UNSAT0.12
BLOCKS3iii.5SAT0.18
BLOCKS3ii.5.3SAT0.54
BLOCKS3i.5.4SAT55.74
BLOCKS3i.5.3UNSAT520.81
BLOCKS4iii.6FAIL600
BLOCKS4ii.7.2FAIL600
BLOCKS4iii.7FAIL600
BLOCKS4i.6.4FAIL600
BLOCKS4ii.6.3FAIL600