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



Solver Time Result
yQuaffle0.04UNSAT
ncQuBE1.10.08UNSAT
ncQuBE1.00.08UNSAT
qSS0.16UNSAT
sKizzo-0.10-std0.22UNSAT
sKizzo-0.10-qck0.23UNSAT
preQuel_sKizzo-0.100.23UNSAT
AQME-1NN0.58UNSAT
AQME-C4.50.59UNSAT
AQME-RIPPER0.67UNSAT
aigqbf_s2.67UNSAT
EBDDRES4.68UNSAT
aigqbf_sr6.81UNSAT
QUANTOR_2.1518.44UNSAT
qZilla27.57UNSAT
Adaptive2clsQ28.1UNSAT
squolem600FAIL