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



Solver Time Result
yQuaffle0.04UNSAT
qSS0.05UNSAT
ncQuBE1.10.06UNSAT
ncQuBE1.00.07UNSAT
sKizzo-0.10-std0.13UNSAT
sKizzo-0.10-qck0.14UNSAT
preQuel_sKizzo-0.100.16UNSAT
AQME-1NN0.53UNSAT
AQME-C4.50.58UNSAT
AQME-RIPPER0.67UNSAT
aigqbf_s1UNSAT
aigqbf_sr2.42UNSAT
EBDDRES11.48UNSAT
qZilla13.32UNSAT
Adaptive2clsQ58.1UNSAT
QUANTOR_2.1588.02FAIL
squolem131.79UNSAT