Results for instance ncf_16_32_2_euad.10
QBFEVAL'05



Solver Time Result
WalkQSAT0.17UNSAT
yQuaffle0.2UNSAT
QUANTOR16.34FAIL
QChaffLearn862.39FAIL
skizzo_v0.4900.74FAIL
QMRes900.82FAIL
skizzo_v0.5900.85FAIL
openQbf900.89FAIL
qbfbdd900.9FAIL
GRL900.95FAIL
sSolve900.99FAIL
semprop901FAIL
QbflHR901.01FAIL