Results for instance ncf_16_32_4_d.6
QBFEVAL'05



Solver Time Result
WalkQSAT0.32UNSAT
QUANTOR13.43FAIL
QChaffLearn845.61FAIL
yQuaffle880.45FAIL
skizzo_v0.5900.47FAIL
QMRes900.77FAIL
qbfbdd900.77FAIL
skizzo_v0.4900.81FAIL
openQbf900.88FAIL
GRL900.91FAIL
sSolve900.93FAIL
QbflHR900.99FAIL
semprop900.99FAIL