Results for instance ncf_8_16_2_u.6
QBFEVAL'05



Solver Time Result
yQuaffle0UNSAT
WalkQSAT0UNSAT
sSolve0.01UNSAT
QUANTOR0.02UNSAT
QbflHR0.03UNSAT
semprop0.03UNSAT
skizzo_v0.40.06UNSAT
skizzo_v0.50.06UNSAT
GRL0.24SAT
QChaffLearn0.25UNSAT
openQbf0.4UNSAT
QMRes900.97FAIL
qbfbdd901.01FAIL