Instances of family Blocks solved by qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
BLOCKS3iii.4UNSAT0.01
BLOCKS3iii.5UNSAT0.01
BLOCKS3ii.5.2UNSAT0.02
BLOCKS3ii.4.3UNSAT0.02
BLOCKS4iii.6UNSAT0.03
BLOCKS3ii.5.3SAT0.03
BLOCKS3i.5.4SAT0.06
BLOCKS4i.6.4UNSAT0.09
BLOCKS3i.5.3UNSAT0.18
BLOCKS4ii.7.2UNSAT0.28