Results for instance s820_d11_u
QBFEVAL'05



Solver Time Result
QChaffLearn0.4FAIL
QMRes15.77FAIL
skizzo_v0.5896.14FAIL
QUANTOR899.04FAIL
yQuaffle899.15FAIL
skizzo_v0.4899.85FAIL
qbfbdd900.32FAIL
sSolve900.42FAIL
GRL900.73FAIL
openQbf900.86FAIL
WalkQSAT900.92FAIL
semprop900.97FAIL
QbflHR900.98FAIL