Results for instance ncf_16_64_4_euad.2
QBFEVAL'05



Solver Time Result
QUANTOR18.99FAIL
QChaffLearn861.1FAIL
yQuaffle864.41FAIL
skizzo_v0.5900.24FAIL
skizzo_v0.4900.63FAIL
qbfbdd900.79FAIL
QMRes900.81FAIL
openQbf900.9FAIL
GRL900.93FAIL
semprop900.99FAIL
QbflHR900.99FAIL
sSolve901FAIL
WalkQSAT901FAIL