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



Solver Time Result
yQuaffle0.05UNSAT
ncQuBE1.00.09UNSAT
ncQuBE1.10.09UNSAT
sKizzo-0.10-std0.55UNSAT
sKizzo-0.10-qck0.56UNSAT
preQuel_sKizzo-0.100.57UNSAT
AQME-C4.50.62UNSAT
qSS0.63UNSAT
AQME-RIPPER0.68UNSAT
aigqbf_s15.19UNSAT
qZilla15.8UNSAT
QUANTOR_2.1530.52FAIL
EBDDRES31.65FAIL
aigqbf_sr34.55UNSAT
Adaptive2clsQ49.18UNSAT
AQME-1NN81.53UNSAT
squolem600FAIL