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



Solver Time Result
EBDDRES0.01FAIL
yQuaffle0.13UNSAT
ncQuBE1.10.18UNSAT
ncQuBE1.00.18UNSAT
AQME-C4.50.71UNSAT
AQME-RIPPER0.8UNSAT
qSS1.04UNSAT
sKizzo-0.10-std3.07UNSAT
preQuel_sKizzo-0.103.14UNSAT
sKizzo-0.10-qck9.95UNSAT
QUANTOR_2.1521.58FAIL
aigqbf_s73.26UNSAT
AQME-1NN85.25UNSAT
Adaptive2clsQ95.19UNSAT
aigqbf_sr147.92UNSAT
squolem600FAIL
qZilla600FAIL