Results for instance s820_d8_s
QBFEVAL'05



Solver Time Result
QMRes16.9FAIL
skizzo_v0.5899.38FAIL
QUANTOR899.46FAIL
QChaffLearn899.46FAIL
yQuaffle900.23FAIL
qbfbdd900.28FAIL
skizzo_v0.4900.29FAIL
sSolve900.47FAIL
WalkQSAT900.81FAIL
GRL900.81FAIL
openQbf900.91FAIL
QbflHR900.97FAIL
semprop900.99FAIL