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



Solver Time Result
yQuaffle0.06UNSAT
ncQuBE1.00.08UNSAT
ncQuBE1.10.08UNSAT
preQuel_sKizzo-0.100.54UNSAT
AQME-C4.50.6UNSAT
sKizzo-0.10-qck0.61UNSAT
sKizzo-0.10-std0.61UNSAT
AQME-RIPPER0.66UNSAT
qSS0.67UNSAT
aigqbf_s8.53UNSAT
qZilla12.29UNSAT
aigqbf_sr19.33UNSAT
QUANTOR_2.1528FAIL
EBDDRES31.78FAIL
Adaptive2clsQ43.02UNSAT
AQME-1NN81.59UNSAT
squolem600FAIL