Results for instance adder-6-sat
QBFEVAL'05



Solver Time Result
QMRes1.44SAT
skizzo_v0.56.8SAT
skizzo_v0.48.95SAT
QUANTOR37.95SAT
yQuaffle890.3FAIL
QChaffLearn897.62FAIL
GRL900.85FAIL
qbfbdd900.91FAIL
openQbf900.93FAIL
sSolve900.98FAIL
QbflHR901FAIL
semprop901FAIL
WalkQSAT901FAIL