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



Solver Time Result
yQuaffle0.04UNSAT
ncQuBE1.00.07UNSAT
ncQuBE1.10.07UNSAT
sKizzo-0.10-std0.18UNSAT
sKizzo-0.10-qck0.19UNSAT
preQuel_sKizzo-0.100.2UNSAT
qSS0.24UNSAT
AQME-C4.50.59UNSAT
AQME-RIPPER0.65UNSAT
aigqbf_s2.17UNSAT
aigqbf_sr5.58UNSAT
qZilla19.78UNSAT
EBDDRES31.85FAIL
QUANTOR_2.1539.78FAIL
Adaptive2clsQ70.05UNSAT
AQME-1NN81.93UNSAT
squolem600FAIL