Instances of family Blocks solved by xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
BLOCKS3iii.4UNSAT0.07
BLOCKS3ii.4.3UNSAT0.13
BLOCKS3iii.5SAT0.18
BLOCKS3i.5.4SAT0.32
BLOCKS4iii.6UNSAT0.35
BLOCKS3ii.5.2UNSAT0.5
BLOCKS3ii.5.3SAT0.5
BLOCKS3i.5.3UNSAT0.51
BLOCKS4i.6.4SAT30.67
BLOCKS4ii.7.2SAT42.23