Results for instance s386_d8_u
QBFEVAL'05



Solver Time Result
qbfbdd870.61FAIL
QChaffLearn898.35FAIL
skizzo_v0.5898.46FAIL
QMRes899.67FAIL
sSolve900.28FAIL
QUANTOR900.31FAIL
yQuaffle900.44FAIL
skizzo_v0.4900.69FAIL
GRL900.81FAIL
openQbf900.91FAIL
semprop900.99FAIL
QbflHR901FAIL
WalkQSAT901FAIL