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



Solver Time Result
yQuaffle0.06UNSAT
ncQuBE1.00.08UNSAT
ncQuBE1.10.08UNSAT
qSS0.21UNSAT
sKizzo-0.10-qck0.54UNSAT
sKizzo-0.10-std0.54UNSAT
preQuel_sKizzo-0.100.56UNSAT
AQME-C4.50.59UNSAT
AQME-RIPPER0.67UNSAT
aigqbf_s11.11UNSAT
aigqbf_sr25.4UNSAT
EBDDRES31.79FAIL
QUANTOR_2.1545.18FAIL
Adaptive2clsQ63.76UNSAT
AQME-1NN84.85UNSAT
squolem600FAIL
qZilla600FAIL