Instances of family Blocks solved by ncQuBE1.0
QBFEVAL'07

InstanceResultTime
BLOCKS3i.5.3UNSAT527.97
BLOCKS4iii.7FAIL600
BLOCKS4i.6.4FAIL600
BLOCKS4ii.6.3FAIL600
BLOCKS4iii.6FAIL600
BLOCKS4ii.7.2FAIL600