Instances of family Blocks solved by QUANTOR
QBFEVAL'05

InstanceResultTime
BLOCKS3iii.4UNSAT0
BLOCKS3ii.4.3UNSAT0.03
BLOCKS3i.4.4UNSAT0.04
BLOCKS3iii.5SAT0.06
BLOCKS3ii.5.2UNSAT0.15
BLOCKS3i.5.3UNSAT0.15
BLOCKS3ii.5.3SAT0.17
BLOCKS3i.5.4SAT0.29
BLOCKS4iii.6UNSAT3.13
BLOCKS4ii.6.3UNSAT5.47
BLOCKS4i.6.4UNSAT6.31
BLOCKS4iii.7SAT9.92
BLOCKS4ii.7.2UNSAT11.89