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



Solver Time Result
QChaffLearn1.01FAIL
QMRes20.14FAIL
skizzo_v0.464.17FAIL
skizzo_v0.5475.3FAIL
yQuaffle863.68FAIL
GRL900.63FAIL
QUANTOR900.7FAIL
qbfbdd900.76FAIL
WalkQSAT900.83FAIL
semprop900.88FAIL
openQbf900.89FAIL
sSolve900.95FAIL
QbflHR900.96FAIL