Instances of family Blocks solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
BLOCKS3iii.4UNSAT0.93
BLOCKS3iii.5SAT1.02
BLOCKS3ii.4.3UNSAT1.18
BLOCKS3i.4.4UNSAT1.2
BLOCKS3i.5.3UNSAT1.21
BLOCKS3ii.5.2UNSAT1.23
BLOCKS3ii.5.3SAT1.27
BLOCKS3i.5.4SAT2.47
BLOCKS4iii.6UNSAT4.81
BLOCKS4ii.6.3UNSAT5.61
BLOCKS4i.6.4UNSAT6.04
BLOCKS4ii.7.2UNSAT7.62
BLOCKS4iii.7SAT8.57