Results for instance ncf_4_8_8_d.4
QBFEVAL'05



Solver Time Result
QChaffLearn0.02UNSAT
semprop0.02SAT
WalkQSAT0.11SAT
sSolve0.29SAT
skizzo_v0.50.37SAT
skizzo_v0.40.37SAT
QbflHR4.91SAT
openQbf10.04SAT
GRL61.65SAT
QUANTOR157.79FAIL
yQuaffle881.26FAIL
QMRes900.93FAIL
qbfbdd900.99FAIL