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



Solver Time Result
QbflHR0.41UNSAT
WalkQSAT1.25FAIL
sSolve1.3UNSAT
QChaffLearn1.36FAIL
skizzo_v0.51.44UNSAT
skizzo_v0.41.44UNSAT
QUANTOR1.51UNSAT
GRL1.68UNSAT
yQuaffle2.38UNSAT
semprop2.6UNSAT
openQbf2.65UNSAT
qbfbdd7.92UNSAT
QMRes11.47FAIL