Results for instance ncf_4_16_4_u.2
QBFEVAL'05



Solver Time Result
QUANTOR13.28FAIL
semprop507.8SAT
skizzo_v0.5800.52FAIL
QChaffLearn860.35FAIL
yQuaffle890.74FAIL
skizzo_v0.4900.76FAIL
GRL900.91FAIL
openQbf900.94FAIL
qbfbdd900.98FAIL
QMRes900.99FAIL
sSolve901FAIL
WalkQSAT901FAIL
QbflHR901.01FAIL