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



Solver Time Result
yQuaffle0.2UNSAT
ncQuBE1.10.4UNSAT
ncQuBE1.00.4UNSAT
AQME-C4.50.88UNSAT
AQME-RIPPER0.94UNSAT
qSS3.23UNSAT
preQuel_sKizzo-0.104.77UNSAT
sKizzo-0.10-std5.07UNSAT
sKizzo-0.10-qck16.53UNSAT
EBDDRES29.18FAIL
QUANTOR_2.1540.29FAIL
AQME-1NN106.99UNSAT
Adaptive2clsQ162.31UNSAT
aigqbf_s206.78UNSAT
aigqbf_sr497.18UNSAT
squolem600FAIL
qZilla600FAIL