Results for instance BLOCKS4iii.6
QBFEVAL'07



Solver Time Result
sKizzo-0.10-qck3.31UNSAT
AQME-1NN3.95UNSAT
AQME-C4.54UNSAT
AQME-RIPPER4.09UNSAT
yQuaffle4.57UNSAT
qZilla7.72UNSAT
qSS7.74UNSAT
Adaptive2clsQ7.75UNSAT
preQuel_sKizzo-0.1010.22UNSAT
sKizzo-0.10-std14.46UNSAT
QUANTOR_2.1517.52UNSAT
EBDDRES29.36FAIL
aigqbf_s126.46FAIL
aigqbf_sr600FAIL
ncQuBE1.0600FAIL
ncQuBE1.1600FAIL
squolem600FAIL