Instances of family Blocks solved by AQME-RIPPER
QBFEVAL'07

InstanceResultTime
BLOCKS3i.5.3UNSAT0.74
BLOCKS4iii.6UNSAT4.09
BLOCKS4ii.6.3UNSAT4.79
BLOCKS4i.6.4UNSAT5.3
BLOCKS4ii.7.2UNSAT7.98
BLOCKS4iii.7SAT10.34