Results for instance ev-pr-6x6-15-5-0-1-2-lg
QBFEVAL'05



Solver Time Result
WalkQSAT112.07FAIL
QUANTOR160.18FAIL
skizzo_v0.4213.22FAIL
skizzo_v0.5310.88FAIL
qbfbdd878.34FAIL
QChaffLearn884.82FAIL
yQuaffle885.69FAIL
QMRes900.6FAIL
GRL900.66FAIL
openQbf900.9FAIL
semprop900.98FAIL
sSolve900.98FAIL
QbflHR901FAIL