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



Solver Time Result
EBDDRES0.02FAIL
yQuaffle0.09UNSAT
ncQuBE1.10.19UNSAT
ncQuBE1.00.19UNSAT
AQME-C4.50.71UNSAT
AQME-RIPPER0.72UNSAT
preQuel_sKizzo-0.101.22UNSAT
sKizzo-0.10-std1.3UNSAT
sKizzo-0.10-qck1.31UNSAT
qSS1.53UNSAT
qZilla15.09UNSAT
Adaptive2clsQ65.79UNSAT
QUANTOR_2.1568.16FAIL
AQME-1NN83.25UNSAT
aigqbf_s86.94UNSAT
aigqbf_sr302.82UNSAT
squolem600FAIL