Results for instance adder-10-unsat
QBFEVAL'05



Solver Time Result
QChaffLearn0.63UNSAT
QUANTOR11.31FAIL
WalkQSAT102.72FAIL
skizzo_v0.4680.04FAIL
GRL688.63FAIL
skizzo_v0.5690.3FAIL
QMRes880.97FAIL
yQuaffle890.59FAIL
openQbf900.95FAIL
semprop900.96FAIL
sSolve900.97FAIL
QbflHR901FAIL
qbfbdd901FAIL