Results for instance aim-100-3_4-yes1-2-90
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.



Solver Time Result
yQuaffle0.07UNSAT
ncQuBE1.00.13UNSAT
ncQuBE1.10.13UNSAT
qSS0.46UNSAT
AQME-C4.50.66UNSAT
sKizzo-0.10-std0.71UNSAT
preQuel_sKizzo-0.100.72UNSAT
AQME-RIPPER0.73UNSAT
sKizzo-0.10-qck0.73UNSAT
aigqbf_s19.26UNSAT
EBDDRES32.24FAIL
QUANTOR_2.1532.83FAIL
aigqbf_sr48.56UNSAT
Adaptive2clsQ68.78UNSAT
AQME-1NN82.97UNSAT
squolem600FAIL
qZilla600FAIL