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



Solver Time Result
yQuaffle0.1UNSAT
ncQuBE1.10.19UNSAT
ncQuBE1.00.19UNSAT
AQME-C4.50.7UNSAT
AQME-RIPPER0.77UNSAT
sKizzo-0.10-std1.18UNSAT
sKizzo-0.10-qck1.19UNSAT
preQuel_sKizzo-0.101.2UNSAT
qSS1.22UNSAT
qZilla19.97UNSAT
EBDDRES29.58FAIL
aigqbf_s66.55UNSAT
Adaptive2clsQ75.3UNSAT
AQME-1NN87.04UNSAT
QUANTOR_2.15148.91FAIL
aigqbf_sr214.84UNSAT
squolem600FAIL