Results for instance aim-50-3_4-yes1-1-90
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.



Solver Time Result
yQuaffle0.04UNSAT
ncQuBE1.10.07UNSAT
ncQuBE1.00.07UNSAT
qSS0.14UNSAT
sKizzo-0.10-qck0.22UNSAT
sKizzo-0.10-std0.22UNSAT
preQuel_sKizzo-0.100.23UNSAT
AQME-1NN0.56UNSAT
AQME-C4.50.6UNSAT
AQME-RIPPER0.65UNSAT
aigqbf_s2.98UNSAT
aigqbf_sr6.32UNSAT
EBDDRES8.2UNSAT
qZilla21.89UNSAT
Adaptive2clsQ35.44UNSAT
QUANTOR_2.1540.74UNSAT
squolem295.14UNSAT