MAYBE
Time: 0.000743
TRS:
 {  +(x, 0()) -> x,
    +(x, s y) -> s +(x, y),
  +(0(), s y) -> s y,
  s +(0(), y) -> s y}
 DP:
  DP:
   {  +#(x, s y) -> +#(x, y),
      +#(x, s y) -> s# +(x, y),
    s# +(0(), y) -> s# y}
  TRS:
  {  +(x, 0()) -> x,
     +(x, s y) -> s +(x, y),
   +(0(), s y) -> s y,
   s +(0(), y) -> s y}
  UR:
   {  +(x, 0()) -> x,
      +(x, s y) -> s +(x, y),
    +(0(), s y) -> s y,
    s +(0(), y) -> s y}
   EDG:
    {(+#(x, s y) -> s# +(x, y), s# +(0(), y) -> s# y)
     (+#(x, s y) -> +#(x, y), +#(x, s y) -> +#(x, y))
     (+#(x, s y) -> +#(x, y), +#(x, s y) -> s# +(x, y))
     (s# +(0(), y) -> s# y, s# +(0(), y) -> s# y)}
    STATUS:
     arrows: 0.555556
     SCCS (2):
      Scc:
       {+#(x, s y) -> +#(x, y)}
      Scc:
       {s# +(0(), y) -> s# y}
      
      SCC (1):
       Strict:
        {+#(x, s y) -> +#(x, y)}
       Weak:
       {  +(x, 0()) -> x,
          +(x, s y) -> s +(x, y),
        +(0(), s y) -> s y,
        s +(0(), y) -> s y}
       Open
      
      SCC (1):
       Strict:
        {s# +(0(), y) -> s# y}
       Weak:
       {  +(x, 0()) -> x,
          +(x, s y) -> s +(x, y),
        +(0(), s y) -> s y,
        s +(0(), y) -> s y}
       Open