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



Solver Time Result
yQuaffle0.06UNSAT
ncQuBE1.10.08UNSAT
ncQuBE1.00.09UNSAT
qSS0.24UNSAT
sKizzo-0.10-std0.53UNSAT
preQuel_sKizzo-0.100.54UNSAT
sKizzo-0.10-qck0.54UNSAT
AQME-C4.50.61UNSAT
AQME-RIPPER0.68UNSAT
aigqbf_s11.21UNSAT
aigqbf_sr24.07UNSAT
EBDDRES31.8FAIL
QUANTOR_2.1542.31FAIL
Adaptive2clsQ53.17UNSAT
AQME-1NN81.51UNSAT
squolem600FAIL
qZilla600FAIL