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



Solver Time Result
yQuaffle0.11UNSAT
ncQuBE1.10.14UNSAT
ncQuBE1.00.14UNSAT
AQME-C4.50.71UNSAT
AQME-RIPPER0.77UNSAT
preQuel_sKizzo-0.102.85UNSAT
sKizzo-0.10-std3.02UNSAT
sKizzo-0.10-qck10.15UNSAT
QUANTOR_2.1518.51FAIL
qZilla21.29UNSAT
EBDDRES28.99FAIL
qSS35.61UNSAT
aigqbf_s47.84UNSAT
Adaptive2clsQ53.41UNSAT
AQME-1NN84.98UNSAT
aigqbf_sr103.96UNSAT
squolem600FAIL