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



Solver Time Result
yQuaffle0.04UNSAT
ncQuBE1.10.06UNSAT
ncQuBE1.00.07UNSAT
sKizzo-0.10-qck0.16UNSAT
sKizzo-0.10-std0.16UNSAT
preQuel_sKizzo-0.100.17UNSAT
qSS0.21UNSAT
AQME-C4.50.59UNSAT
AQME-RIPPER0.63UNSAT
aigqbf_s2.43UNSAT
aigqbf_sr5.48UNSAT
EBDDRES32.05FAIL
AQME-1NN64.56UNSAT
QUANTOR_2.1589.01FAIL
qZilla136.08UNSAT
Adaptive2clsQ187.05UNSAT
squolem600FAIL