Instances of family Blocks solved by semprop
QBFEVAL'06

InstanceResultTime
BLOCKS3iii.5SAT0.59
BLOCKS3ii.5.2UNSAT2.62
BLOCKS3ii.5.3SAT17.55
BLOCKS3i.5.3FAIL600.99
BLOCKS4ii.6.3FAIL600.99
BLOCKS4iii.6FAIL600.99
BLOCKS4ii.7.2FAIL601
BLOCKS4iii.7FAIL601
BLOCKS4i.6.4FAIL601
BLOCKS3i.4.4FAIL601
BLOCKS3i.5.4FAIL601