Results for instance BLOCKS4ii.7.2
QBFEVAL'07



Solver Time Result
sKizzo-0.10-qck4.22UNSAT
AQME-1NN7.84UNSAT
AQME-C4.57.93UNSAT
AQME-RIPPER7.98UNSAT
preQuel_sKizzo-0.109.69UNSAT
sKizzo-0.10-std10.67UNSAT
Adaptive2clsQ22.92UNSAT
QUANTOR_2.1529.25UNSAT
EBDDRES29.5FAIL
aigqbf_s163.65FAIL
yQuaffle166.31UNSAT
qZilla565.01UNSAT
qSS600FAIL
ncQuBE1.0600FAIL
ncQuBE1.1600FAIL
aigqbf_sr600FAIL
squolem600FAIL