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



Solver Time Result
EBDDRES0.02FAIL
yQuaffle0.28UNSAT
ncQuBE1.10.6UNSAT
ncQuBE1.00.6UNSAT
AQME-C4.51.02UNSAT
AQME-RIPPER1.06UNSAT
sKizzo-0.10-std3.12UNSAT
sKizzo-0.10-qck3.16UNSAT
preQuel_sKizzo-0.103.23UNSAT
qSS28.95UNSAT
QUANTOR_2.1551.86FAIL
AQME-1NN105.18UNSAT
Adaptive2clsQ125.62UNSAT
aigqbf_s439.99UNSAT
aigqbf_sr600FAIL
squolem600FAIL
qZilla600FAIL