Results for instance ncf_8_16_8_edau.2
QBFEVAL'05



Solver Time Result
QUANTOR13.86FAIL
semprop715.5SAT
QChaffLearn859.05FAIL
yQuaffle872.94FAIL
skizzo_v0.5900.12FAIL
QMRes900.81FAIL
skizzo_v0.4900.81FAIL
openQbf900.88FAIL
GRL900.95FAIL
WalkQSAT900.99FAIL
qbfbdd901FAIL
sSolve901FAIL
QbflHR901.01FAIL