Instances of family Blocks solved by ssolve-A
QBFEVAL'08

InstanceResultTime
BLOCKS3iii.5SAT0.06
BLOCKS3ii.4.3UNSAT0.06
BLOCKS3ii.5.3SAT0.14
BLOCKS3iii.4UNSAT0.3
BLOCKS3ii.5.2UNSAT25.12
BLOCKS4i.6.4FAIL600
BLOCKS3i.4.4FAIL600
BLOCKS3i.5.4FAIL600
BLOCKS4ii.6.3FAIL600
BLOCKS3i.5.3FAIL600
BLOCKS4iii.6FAIL600
BLOCKS4ii.7.2FAIL600
BLOCKS4iii.7FAIL600