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



Solver Time Result
yQuaffle0.04UNSAT
ncQuBE1.00.08UNSAT
ncQuBE1.10.08UNSAT
qSS0.2UNSAT
sKizzo-0.10-qck0.26UNSAT
sKizzo-0.10-std0.26UNSAT
preQuel_sKizzo-0.100.26UNSAT
AQME-C4.50.56UNSAT
AQME-RIPPER0.67UNSAT
aigqbf_s4.87UNSAT
aigqbf_sr11.57UNSAT
AQME-1NN16.84UNSAT
QUANTOR_2.1518.81UNSAT
EBDDRES31.5FAIL
Adaptive2clsQ33.95UNSAT
qZilla237.76UNSAT
squolem600FAIL