Results for instance Adder2-4-s
QBFEVAL'05



Solver Time Result
QUANTOR0.17SAT
skizzo_v0.40.21SAT
skizzo_v0.50.27SAT
QMRes0.88SAT
semprop72.78SAT
yQuaffle878.72FAIL
QChaffLearn889.99FAIL
GRL900.75FAIL
openQbf900.88FAIL
qbfbdd900.95FAIL
sSolve900.95FAIL
WalkQSAT901FAIL
QbflHR901.01FAIL