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



Solver Time Result
yQuaffle0.04UNSAT
ncQuBE1.00.1UNSAT
ncQuBE1.10.1UNSAT
qSS0.38UNSAT
preQuel_sKizzo-0.100.59UNSAT
sKizzo-0.10-std0.59UNSAT
sKizzo-0.10-qck0.61UNSAT
AQME-C4.50.62UNSAT
AQME-RIPPER0.68UNSAT
aigqbf_s18.95UNSAT
QUANTOR_2.1529.48FAIL
EBDDRES31.64FAIL
aigqbf_sr43.2UNSAT
Adaptive2clsQ56.82UNSAT
AQME-1NN86.06UNSAT
squolem600FAIL
qZilla600FAIL