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



Solver Time Result
EBDDRES0.02FAIL
yQuaffle0.26UNSAT
ncQuBE1.10.56UNSAT
ncQuBE1.00.56UNSAT
AQME-C4.51.04UNSAT
AQME-RIPPER1.07UNSAT
sKizzo-0.10-std2.96UNSAT
sKizzo-0.10-qck2.98UNSAT
preQuel_sKizzo-0.103.08UNSAT
qSS9.35UNSAT
QUANTOR_2.1560.22FAIL
AQME-1NN104.99UNSAT
Adaptive2clsQ113.88UNSAT
aigqbf_s541.83UNSAT
aigqbf_sr600FAIL
squolem600FAIL
qZilla600FAIL