Results for instance ncf_16_128_2_d.1
QBFEVAL'05



Solver Time Result
QUANTOR16.41FAIL
yQuaffle590.65UNSAT
QChaffLearn875.87FAIL
QMRes900.55FAIL
skizzo_v0.5900.76FAIL
GRL900.81FAIL
skizzo_v0.4900.84FAIL
openQbf900.97FAIL
sSolve900.99FAIL
WalkQSAT901FAIL
semprop901FAIL
QbflHR901FAIL
qbfbdd901.01FAIL