Results for instance ev-pr-8x8-11-7-0-1-2-lg
QBFEVAL'05



Solver Time Result
skizzo_v0.581.04UNSAT
skizzo_v0.4106.5UNSAT
QUANTOR238.71FAIL
semprop511.79UNSAT
yQuaffle879.6FAIL
QChaffLearn883.11FAIL
qbfbdd899.88FAIL
QMRes900.61FAIL
GRL900.7FAIL
QbflHR900.9FAIL
openQbf900.92FAIL
WalkQSAT900.98FAIL
sSolve901FAIL