Results for instance ncf_4_32_4_edau.6
QBFEVAL'05



Solver Time Result
yQuaffle0.27UNSAT
QUANTOR13.48FAIL
QChaffLearn858.77FAIL
skizzo_v0.5900.38FAIL
skizzo_v0.4900.76FAIL
GRL900.9FAIL
openQbf900.94FAIL
QMRes900.95FAIL
sSolve900.97FAIL
qbfbdd900.98FAIL
WalkQSAT900.99FAIL
QbflHR901FAIL
semprop901FAIL