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



Solver Time Result
yQuaffle0.06UNSAT
ncQuBE1.00.09UNSAT
ncQuBE1.10.09UNSAT
qSS0.26UNSAT
sKizzo-0.10-std0.56UNSAT
preQuel_sKizzo-0.100.56UNSAT
sKizzo-0.10-qck0.57UNSAT
AQME-C4.50.62UNSAT
AQME-RIPPER0.66UNSAT
aigqbf_s11.06UNSAT
aigqbf_sr25.05UNSAT
EBDDRES33.35FAIL
QUANTOR_2.1535.35FAIL
Adaptive2clsQ51.32UNSAT
AQME-1NN81.61UNSAT
squolem600FAIL
qZilla600FAIL