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

InstanceResultTime
BLOCKS3iii.4UNSAT0.04
BLOCKS3iii.5SAT0.13
BLOCKS3ii.4.3UNSAT0.19
BLOCKS4iii.6UNSAT0.31
BLOCKS3ii.5.3SAT0.89
BLOCKS3ii.5.2UNSAT2.62
BLOCKS3i.5.3UNSAT3.69
BLOCKS3i.5.4SAT4.99
BLOCKS4i.6.4UNSAT5.93
BLOCKS4ii.7.2FAIL59.19