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



Solver Time Result
QUANTOR166.69FAIL
skizzo_v0.4299.34FAIL
skizzo_v0.5319.48FAIL
yQuaffle872.58FAIL
QChaffLearn886.24FAIL
QMRes900.29FAIL
qbfbdd900.36FAIL
GRL900.76FAIL
semprop900.92FAIL
openQbf900.94FAIL
WalkQSAT900.97FAIL
QbflHR900.98FAIL
sSolve901FAIL