Results for instance ncf_16_128_2_edau.8
QBFEVAL'05



Solver Time Result
yQuaffle11.21UNSAT
QUANTOR14.14FAIL
QChaffLearn878.7FAIL
QMRes900.69FAIL
skizzo_v0.5900.7FAIL
qbfbdd900.75FAIL
GRL900.82FAIL
skizzo_v0.4900.9FAIL
openQbf900.95FAIL
sSolve900.96FAIL
WalkQSAT901FAIL
semprop901FAIL
QbflHR901.01FAIL