Instances of family Blocks solved by aigqbf_sr
QBFEVAL'07

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