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



Solver Time Result
EBDDRES0.02FAIL
yQuaffle0.25UNSAT
ncQuBE1.10.57UNSAT
ncQuBE1.00.58UNSAT
AQME-C4.50.86UNSAT
AQME-RIPPER1.06UNSAT
sKizzo-0.10-std2.94UNSAT
sKizzo-0.10-qck2.99UNSAT
preQuel_sKizzo-0.103.23UNSAT
qSS11.08UNSAT
QUANTOR_2.1567.54FAIL
Adaptive2clsQ83.71UNSAT
AQME-1NN89.64UNSAT
aigqbf_sr600FAIL
aigqbf_s600FAIL
squolem600FAIL
qZilla600FAIL