Instances of family Blocks solved by GRL
QBFEVAL'06

InstanceResultTime
BLOCKS3ii.5.2UNSAT16.92
BLOCKS3ii.5.3FAIL38.01
BLOCKS3i.5.3FAIL50.43
BLOCKS4ii.6.3FAIL50.85
BLOCKS3i.5.4FAIL70.7
BLOCKS4i.6.4FAIL83.85
BLOCKS4iii.7FAIL104.7
BLOCKS4ii.7.2FAIL115.59
BLOCKS4iii.6FAIL116.77
BLOCKS3i.4.4FAIL118.8
BLOCKS3iii.5FAIL600.04