Results for instance aim-200-2_0-yes1-3-50
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.



Solver Time Result
yQuaffle0.12UNSAT
ncQuBE1.10.16UNSAT
ncQuBE1.00.17UNSAT
AQME-C4.50.69UNSAT
AQME-RIPPER0.74UNSAT
qSS1.6UNSAT
preQuel_sKizzo-0.103.42UNSAT
sKizzo-0.10-std3.45UNSAT
EBDDRES31.41FAIL
QUANTOR_2.1532.97FAIL
Adaptive2clsQ60.9UNSAT
sKizzo-0.10-qck61.1FAIL
AQME-1NN94.89UNSAT
aigqbf_s97.69UNSAT
aigqbf_sr257.94UNSAT
squolem600FAIL
qZilla600FAIL