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



Solver Time Result
yQuaffle0.06UNSAT
ncQuBE1.10.09UNSAT
ncQuBE1.00.09UNSAT
sKizzo-0.10-qck0.51UNSAT
sKizzo-0.10-std0.51UNSAT
preQuel_sKizzo-0.100.52UNSAT
qSS0.56UNSAT
AQME-1NN0.57UNSAT
AQME-C4.50.62UNSAT
AQME-RIPPER0.64UNSAT
Adaptive2clsQ7.13UNSAT
qZilla7.22UNSAT
QUANTOR_2.158.31UNSAT
aigqbf_s13.9SAT
EBDDRES31.55FAIL
aigqbf_sr49.53SAT
squolem600FAIL