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



Solver Time Result
yQuaffle0.05UNSAT
ncQuBE1.00.08UNSAT
ncQuBE1.10.08UNSAT
sKizzo-0.10-std0.52UNSAT
preQuel_sKizzo-0.100.53UNSAT
sKizzo-0.10-qck0.55UNSAT
qSS0.58UNSAT
AQME-C4.50.6UNSAT
AQME-RIPPER0.68UNSAT
aigqbf_s7.46UNSAT
qZilla10.51UNSAT
aigqbf_sr19.27UNSAT
QUANTOR_2.1520.44FAIL
EBDDRES31.63FAIL
Adaptive2clsQ47.57UNSAT
AQME-1NN81.52UNSAT
squolem600FAIL