Results for instance mutex-128-s
QBFEVAL'05



Solver Time Result
sSolve0.05SAT
QChaffLearn0.05FAIL
QUANTOR14.7FAIL
skizzo_v0.520.91SAT
yQuaffle820.24FAIL
QMRes900.73FAIL
GRL900.73FAIL
skizzo_v0.4900.83FAIL
openQbf900.89FAIL
qbfbdd900.96FAIL
semprop900.97FAIL
QbflHR900.99FAIL
WalkQSAT901FAIL