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



Solver Time Result
yQuaffle0.04UNSAT
ncQuBE1.10.06UNSAT
ncQuBE1.00.06UNSAT
qSS0.07UNSAT
sKizzo-0.10-std0.14UNSAT
sKizzo-0.10-qck0.14UNSAT
preQuel_sKizzo-0.100.14UNSAT
AQME-1NN0.54UNSAT
AQME-C4.50.57UNSAT
AQME-RIPPER0.65UNSAT
aigqbf_s1.08UNSAT
aigqbf_sr2.06UNSAT
EBDDRES2.53SAT
squolem9.17UNSAT
qZilla10.22UNSAT
QUANTOR_2.1545.64FAIL
Adaptive2clsQ66.68UNSAT