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

InstanceResultTime
BLOCKS3iii.4UNSAT0.27
BLOCKS3iii.5SAT0.55
BLOCKS3ii.5.2UNSAT0.78
BLOCKS3ii.4.3UNSAT0.81
BLOCKS3ii.5.3SAT1.41
BLOCKS3i.5.3UNSAT1.62
BLOCKS4iii.6UNSAT2.06
BLOCKS3i.5.4SAT2.74
BLOCKS4ii.7.2UNSAT4.82
BLOCKS4i.6.4UNSAT9.62