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

InstanceResultTime
BLOCKS3iii.4UNSAT0.01
BLOCKS3ii.4.3UNSAT0.02
BLOCKS3iii.5SAT0.03
BLOCKS4iii.6UNSAT0.04
BLOCKS3i.5.4SAT0.05
BLOCKS3i.5.3UNSAT0.07
BLOCKS4i.6.4UNSAT0.08
BLOCKS3ii.5.2UNSAT0.1
BLOCKS4ii.7.2UNSAT0.11
BLOCKS3ii.5.3SAT0.11