Results for instance Adder2-16-s
QBFEVAL'05



Solver Time Result
QChaffLearn0.09FAIL
QUANTOR19.38FAIL
QMRes382.49FAIL
yQuaffle763.93FAIL
skizzo_v0.5900.36FAIL
skizzo_v0.4900.59FAIL
GRL900.82FAIL
openQbf900.95FAIL
qbfbdd900.98FAIL
QbflHR900.99FAIL
semprop900.99FAIL
sSolve900.99FAIL
WalkQSAT900.99FAIL