Instances of family Blocks solved by QUANTOR
QBFEVAL'04

InstanceResultTime
BLOCKS3i.4.4UNSAT0.26
BLOCKS3ii.4.3UNSAT0.26
BLOCKS3iii.5SAT0.26
BLOCKS3i.5.3UNSAT0.48
BLOCKS3ii.5.3SAT0.53
BLOCKS4ii.6.3UNSAT24.96
BLOCKS4i.6.4UNSAT37.35
BLOCKS4ii.7.2UNSAT57.59