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



Solver Time Result
yQuaffle0.06UNSAT
ncQuBE1.10.09UNSAT
ncQuBE1.00.09UNSAT
qSS0.19UNSAT
AQME-1NN0.59UNSAT
sKizzo-0.10-std0.6UNSAT
sKizzo-0.10-qck0.61UNSAT
preQuel_sKizzo-0.100.61UNSAT
AQME-C4.50.63UNSAT
AQME-RIPPER0.66UNSAT
aigqbf_s7.21UNSAT
aigqbf_sr15.07UNSAT
qZilla17.06UNSAT
QUANTOR_2.1524.28FAIL
EBDDRES29.69FAIL
Adaptive2clsQ38.35UNSAT
squolem600FAIL