Results for instance vonNeumann-ripple-carry-8-c
QBFEVAL'05



Solver Time Result
QbflHR0.19UNSAT
sSolve0.56UNSAT
WalkQSAT0.59FAIL
QChaffLearn0.62FAIL
QUANTOR0.63UNSAT
skizzo_v0.50.74UNSAT
GRL0.75UNSAT
skizzo_v0.40.77UNSAT
semprop0.98UNSAT
yQuaffle1.01UNSAT
openQbf1.36UNSAT
qbfbdd2.18UNSAT
QMRes4.48FAIL