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



Solver Time Result
yQuaffle0.06UNSAT
ncQuBE1.10.08UNSAT
ncQuBE1.00.08UNSAT
sKizzo-0.10-std0.5UNSAT
sKizzo-0.10-qck0.51UNSAT
preQuel_sKizzo-0.100.52UNSAT
qSS0.56UNSAT
AQME-1NN0.58UNSAT
AQME-C4.50.61UNSAT
AQME-RIPPER0.68UNSAT
aigqbf_s4.52UNSAT
aigqbf_sr11.76UNSAT
qZilla12.98UNSAT
QUANTOR_2.1528.99FAIL
EBDDRES32.09FAIL
Adaptive2clsQ49.14UNSAT
squolem600FAIL