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



Solver Time Result
yQuaffle0.05UNSAT
ncQuBE1.10.08UNSAT
ncQuBE1.00.08UNSAT
qSS0.14UNSAT
sKizzo-0.10-std0.49UNSAT
preQuel_sKizzo-0.100.49UNSAT
sKizzo-0.10-qck0.5UNSAT
AQME-1NN0.58UNSAT
AQME-C4.50.6UNSAT
AQME-RIPPER0.65UNSAT
aigqbf_s4.5UNSAT
aigqbf_sr11.29UNSAT
qZilla13.62UNSAT
QUANTOR_2.1525.8FAIL
EBDDRES29.43FAIL
Adaptive2clsQ48.86UNSAT
squolem600FAIL