Instances of family Blocks solved by sSolve
QBFEVAL'05

InstanceResultTime
BLOCKS3ii.4.3UNSAT0.03
BLOCKS3ii.5.3SAT0.08
BLOCKS3iii.4UNSAT0.37
BLOCKS3ii.5.2UNSAT24.5
BLOCKS4iii.7FAIL900.99
BLOCKS3i.4.4FAIL900.99
BLOCKS3i.5.4FAIL901
BLOCKS4ii.6.3FAIL901
BLOCKS3i.5.3FAIL901
BLOCKS4ii.7.2FAIL901
BLOCKS4i.6.4FAIL901
BLOCKS4iii.6FAIL901.01
BLOCKS3iii.5FAIL901.01