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



Solver Time Result
yQuaffle0.08UNSAT
ncQuBE1.10.14UNSAT
ncQuBE1.00.14UNSAT
qSS0.45UNSAT
AQME-C4.50.68UNSAT
AQME-RIPPER0.75UNSAT
preQuel_sKizzo-0.100.82UNSAT
sKizzo-0.10-qck0.84UNSAT
sKizzo-0.10-std0.84UNSAT
aigqbf_s20.2UNSAT
EBDDRES29.18FAIL
QUANTOR_2.1533.8FAIL
aigqbf_sr51.02UNSAT
Adaptive2clsQ56.34UNSAT
AQME-1NN85.01UNSAT
squolem600FAIL
qZilla600FAIL