Results for instance aim-200-1_6-yes1-2-00
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.



Solver Time Result
yQuaffle0.12UNSAT
ncQuBE1.00.16UNSAT
ncQuBE1.10.16UNSAT
AQME-C4.50.69UNSAT
AQME-RIPPER0.75UNSAT
preQuel_sKizzo-0.102.35UNSAT
sKizzo-0.10-std2.7UNSAT
sKizzo-0.10-qck15.13UNSAT
qZilla24.66UNSAT
QUANTOR_2.1529.84FAIL
EBDDRES31.11FAIL
qSS44.99UNSAT
Adaptive2clsQ67.92UNSAT
AQME-1NN84.78UNSAT
aigqbf_s134.81UNSAT
aigqbf_sr365.87UNSAT
squolem600FAIL