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



Solver Time Result
QbflHR1.07UNSAT
WalkQSAT3.49FAIL
sSolve3.62UNSAT
QChaffLearn3.66FAIL
QUANTOR3.84UNSAT
skizzo_v0.44UNSAT
skizzo_v0.54.13UNSAT
GRL4.5UNSAT
openQbf5.9UNSAT
yQuaffle6.37UNSAT
semprop7.68UNSAT
qbfbdd15.77UNSAT
QMRes32.46FAIL