Results for instance ncf_8_16_2_u.3
QBFEVAL'05



Solver Time Result
QbflHR0UNSAT
GRL0.01UNSAT
WalkQSAT0.01UNSAT
sSolve0.01UNSAT
semprop0.01UNSAT
QUANTOR0.01UNSAT
QChaffLearn0.01UNSAT
yQuaffle0.01UNSAT
skizzo_v0.50.06UNSAT
skizzo_v0.40.09UNSAT
openQbf0.23UNSAT
QMRes900.86FAIL
qbfbdd901FAIL