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

InstanceResultTime
BLOCKS3iii.4UNSAT0.07
BLOCKS3ii.4.3UNSAT0.15
BLOCKS3iii.5SAT0.17
BLOCKS4iii.6UNSAT0.37
BLOCKS3ii.5.2UNSAT0.5
BLOCKS3ii.5.3SAT0.53
BLOCKS4ii.7.2UNSAT54.17
BLOCKS3i.5.4SAT55.34
BLOCKS4i.6.4UNSAT73.95
BLOCKS3i.5.3UNSAT87.07