Results for instance ncf_8_32_8_d.6
QBFEVAL'05



Solver Time Result
QUANTOR14.68FAIL
yQuaffle858.66FAIL
QChaffLearn858.84FAIL
skizzo_v0.5895.81FAIL
skizzo_v0.4900.56FAIL
GRL900.85FAIL
qbfbdd900.87FAIL
openQbf900.92FAIL
QMRes900.93FAIL
sSolve900.97FAIL
QbflHR901.01FAIL
WalkQSAT901.01FAIL
semprop901.01FAIL