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



Solver Time Result
yQuaffle0.04UNSAT
ncQuBE1.00.1UNSAT
ncQuBE1.10.1UNSAT
qSS0.4UNSAT
sKizzo-0.10-std0.42UNSAT
sKizzo-0.10-qck0.43UNSAT
preQuel_sKizzo-0.100.51UNSAT
AQME-C4.50.56UNSAT
AQME-RIPPER0.68UNSAT
qZilla2.76UNSAT
Adaptive2clsQ2.77UNSAT
QUANTOR_2.153.19UNSAT
AQME-1NN3.77UNSAT
aigqbf_s15.02UNSAT
EBDDRES31.05FAIL
aigqbf_sr41.56UNSAT
squolem600FAIL