Results for instance ncf_8_64_2_edau.3
QBFEVAL'05



Solver Time Result
QUANTOR13.49FAIL
skizzo_v0.4736.09FAIL
QChaffLearn866.54FAIL
yQuaffle873.96FAIL
skizzo_v0.5900.14FAIL
GRL900.65FAIL
QMRes900.72FAIL
qbfbdd900.85FAIL
openQbf900.98FAIL
QbflHR900.99FAIL
sSolve900.99FAIL
semprop901FAIL
WalkQSAT901FAIL