Results for instance ncf_8_16_4_edau.1
QBFEVAL'05



Solver Time Result
QUANTOR0SAT
semprop0SAT
WalkQSAT0.01SAT
skizzo_v0.50.01SAT
skizzo_v0.40.02SAT
QChaffLearn0.03SAT
GRL0.06SAT
QbflHR0.09UNSAT
openQbf2.98SAT
sSolve3.46SAT
yQuaffle358.75SAT
QMRes900.9FAIL
qbfbdd901FAIL