Results for instance ev-pr-4x4-13-3-0-0-1-s
QBFEVAL'05



Solver Time Result
yQuaffle843.87FAIL
skizzo_v0.5900.44FAIL
GRL900.47FAIL
QMRes900.47FAIL
QUANTOR900.59FAIL
QChaffLearn900.63FAIL
skizzo_v0.4900.7FAIL
qbfbdd900.79FAIL
openQbf900.88FAIL
sSolve900.92FAIL
WalkQSAT900.96FAIL
semprop900.99FAIL
QbflHR901FAIL