Results for instance s386_d4_s
QBFEVAL'05



Solver Time Result
QMRes746.14FAIL
skizzo_v0.5897.71FAIL
QUANTOR898.44FAIL
qbfbdd899.94FAIL
sSolve900.42FAIL
yQuaffle900.43FAIL
GRL900.55FAIL
QChaffLearn900.74FAIL
skizzo_v0.4900.8FAIL
openQbf900.88FAIL
semprop900.99FAIL
WalkQSAT901FAIL
QbflHR901.01FAIL