Results for instance vonNeumann-ripple-carry-11-c
QBFEVAL'04



Solver Time Result
QBFL-JW0.48UNSAT
QBFL-BS0.48UNSAT
QUBE-BJ1.53FAIL
QUBE-LRN1.92FAIL
QUANTOR2UNSAT
sSolve2.12UNSAT
WalkQSAT2.18FAIL
GRL2.58UNSAT
CLearn2.61UNSAT
CSBJ2.68UNSAT
yQuaffle3.51UNSAT
openQbf3.61UNSAT
semprop4.36UNSAT
QMRes16.4FAIL
QSAT901FAIL
orSAT901.01FAIL