Results for instance ev-pr-6x6-19-5-0-1-2-s
QBFEVAL'05



Solver Time Result
QChaffLearn2.87FAIL
QMRes23.24FAIL
skizzo_v0.4713.21FAIL
yQuaffle853.1FAIL
QUANTOR870.18FAIL
skizzo_v0.5899.3FAIL
GRL900.17FAIL
WalkQSAT900.51FAIL
qbfbdd900.7FAIL
semprop900.7FAIL
QbflHR900.84FAIL
sSolve900.84FAIL
openQbf900.9FAIL