Results for instance aim-50-3_4-yes1-4-00
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.



Solver Time Result
yQuaffle0.04UNSAT
ncQuBE1.10.08UNSAT
ncQuBE1.00.08UNSAT
sKizzo-0.10-std0.29UNSAT
sKizzo-0.10-qck0.29UNSAT
preQuel_sKizzo-0.100.29UNSAT
qSS0.33UNSAT
AQME-C4.50.59UNSAT
AQME-RIPPER0.66UNSAT
aigqbf_s5.34UNSAT
aigqbf_sr11.91UNSAT
QUANTOR_2.1515.4UNSAT
AQME-1NN17.35UNSAT
Adaptive2clsQ23.05UNSAT
qZilla25.15UNSAT
EBDDRES31.83FAIL
squolem600FAIL