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



Solver Time Result
yQuaffle0.07UNSAT
ncQuBE1.00.12UNSAT
ncQuBE1.10.12UNSAT
AQME-C4.50.66UNSAT
AQME-RIPPER0.71UNSAT
sKizzo-0.10-std0.82UNSAT
sKizzo-0.10-qck0.82UNSAT
qSS0.82UNSAT
preQuel_sKizzo-0.100.84UNSAT
EBDDRES32.17FAIL
QUANTOR_2.1532.57FAIL
aigqbf_s34.67UNSAT
Adaptive2clsQ49.3UNSAT
aigqbf_sr76.23UNSAT
AQME-1NN82.55UNSAT
squolem600FAIL
qZilla600FAIL