Instances of family Blocks solved by openQbf
QBFEVAL'04

InstanceResultTime
BLOCKS3ii.4.3UNSAT23.3
BLOCKS3i.5.3FAIL901
BLOCKS4i.6.4FAIL901
BLOCKS4ii.6.3FAIL901
BLOCKS4ii.7.2FAIL901
BLOCKS3i.4.4FAIL901.01
BLOCKS3iii.5FAIL901.01
BLOCKS3ii.5.3FAIL901.01