Results for instance par8-2-c-50
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.



Solver Time Result
yQuaffle0.06UNSAT
ncQuBE1.10.09UNSAT
ncQuBE1.00.09UNSAT
qSS0.36UNSAT
sKizzo-0.10-std0.54UNSAT
sKizzo-0.10-qck0.55UNSAT
AQME-1NN0.56UNSAT
preQuel_sKizzo-0.100.56UNSAT
AQME-C4.50.59UNSAT
AQME-RIPPER0.69UNSAT
Adaptive2clsQ3.34UNSAT
qZilla3.36UNSAT
QUANTOR_2.153.93UNSAT
aigqbf_s11.9SAT
EBDDRES31.67FAIL
aigqbf_sr38.08SAT
squolem600FAIL