Instances of family Blocks solved by caqe-minisat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
BLOCKS3iii.4UNSAT0.02
BLOCKS3ii.4.3UNSAT0.05
BLOCKS3iii.5SAT0.11
BLOCKS3ii.5.2UNSAT0.17
BLOCKS3ii.5.3SAT0.45
BLOCKS4iii.6UNSAT1.21
BLOCKS3i.5.4SAT1.31
BLOCKS4i.6.4UNSAT4.08
BLOCKS3i.5.3UNSAT23.81
BLOCKS4ii.7.2UNSAT41.97