MAYBE
Time: 0.066957
TRS:
 {b(b(0(), y), x) -> y,
          c c c y -> c c a(a(c b(0(), y), 0()), 0()),
        a(y, 0()) -> b(y, 0())}
 DP:
  DP:
   {  c# c c y -> b#(0(), y),
      c# c c y -> c# b(0(), y),
      c# c c y -> c# c a(a(c b(0(), y), 0()), 0()),
      c# c c y -> c# a(a(c b(0(), y), 0()), 0()),
      c# c c y -> a#(c b(0(), y), 0()),
      c# c c y -> a#(a(c b(0(), y), 0()), 0()),
    a#(y, 0()) -> b#(y, 0())}
  TRS:
  {b(b(0(), y), x) -> y,
           c c c y -> c c a(a(c b(0(), y), 0()), 0()),
         a(y, 0()) -> b(y, 0())}
  EDG:
   {(c# c c y -> c# b(0(), y), c# c c y -> a#(a(c b(0(), y), 0()), 0()))
    (c# c c y -> c# b(0(), y), c# c c y -> a#(c b(0(), y), 0()))
    (c# c c y -> c# b(0(), y), c# c c y -> c# a(a(c b(0(), y), 0()), 0()))
    (c# c c y -> c# b(0(), y), c# c c y -> c# c a(a(c b(0(), y), 0()), 0()))
    (c# c c y -> c# b(0(), y), c# c c y -> c# b(0(), y))
    (c# c c y -> c# b(0(), y), c# c c y -> b#(0(), y))
    (c# c c y -> a#(a(c b(0(), y), 0()), 0()), a#(y, 0()) -> b#(y, 0()))
    (c# c c y -> c# a(a(c b(0(), y), 0()), 0()), c# c c y -> b#(0(), y))
    (c# c c y -> c# a(a(c b(0(), y), 0()), 0()), c# c c y -> c# b(0(), y))
    (c# c c y -> c# a(a(c b(0(), y), 0()), 0()), c# c c y -> c# c a(a(c b(0(), y), 0()), 0()))
    (c# c c y -> c# a(a(c b(0(), y), 0()), 0()), c# c c y -> c# a(a(c b(0(), y), 0()), 0()))
    (c# c c y -> c# a(a(c b(0(), y), 0()), 0()), c# c c y -> a#(c b(0(), y), 0()))
    (c# c c y -> c# a(a(c b(0(), y), 0()), 0()), c# c c y -> a#(a(c b(0(), y), 0()), 0()))
    (c# c c y -> a#(c b(0(), y), 0()), a#(y, 0()) -> b#(y, 0()))
    (c# c c y -> c# c a(a(c b(0(), y), 0()), 0()), c# c c y -> b#(0(), y))
    (c# c c y -> c# c a(a(c b(0(), y), 0()), 0()), c# c c y -> c# b(0(), y))
    (c# c c y -> c# c a(a(c b(0(), y), 0()), 0()), c# c c y -> c# c a(a(c b(0(), y), 0()), 0()))
    (c# c c y -> c# c a(a(c b(0(), y), 0()), 0()), c# c c y -> c# a(a(c b(0(), y), 0()), 0()))
    (c# c c y -> c# c a(a(c b(0(), y), 0()), 0()), c# c c y -> a#(c b(0(), y), 0()))
    (c# c c y -> c# c a(a(c b(0(), y), 0()), 0()), c# c c y -> a#(a(c b(0(), y), 0()), 0()))}
   STATUS:
    arrows: 0.591837
    SCCS (1):
     Scc:
      {c# c c y -> c# b(0(), y),
       c# c c y -> c# c a(a(c b(0(), y), 0()), 0()),
       c# c c y -> c# a(a(c b(0(), y), 0()), 0())}
     
     SCC (3):
      Strict:
       {c# c c y -> c# b(0(), y),
        c# c c y -> c# c a(a(c b(0(), y), 0()), 0()),
        c# c c y -> c# a(a(c b(0(), y), 0()), 0())}
      Weak:
      {b(b(0(), y), x) -> y,
               c c c y -> c c a(a(c b(0(), y), 0()), 0()),
             a(y, 0()) -> b(y, 0())}
      POLY:
       Mode: weak, max_in=1, output_bits=-1, dnum=1, ur=true
       Interpretation:
        [b](x0, x1) = x0 + x1,
        
        [a](x0, x1) = x0,
        
        [c](x0) = x0 + 1,
        
        [0] = 0,
        
        [c#](x0) = x0
       Strict:
        c# c c y -> c# a(a(c b(0(), y), 0()), 0())
        2 + 1y >= 1 + 1y
        c# c c y -> c# c a(a(c b(0(), y), 0()), 0())
        2 + 1y >= 2 + 1y
        c# c c y -> c# b(0(), y)
        2 + 1y >= 0 + 1y
       Weak:
        a(y, 0()) -> b(y, 0())
        0 + 1y >= 0 + 1y
        c c c y -> c c a(a(c b(0(), y), 0()), 0())
        3 + 1y >= 3 + 1y
        b(b(0(), y), x) -> y
        0 + 1y + 1x >= 1y
      SCCS (1):
       Scc:
        {c# c c y -> c# c a(a(c b(0(), y), 0()), 0())}
       
       SCC (1):
        Strict:
         {c# c c y -> c# c a(a(c b(0(), y), 0()), 0())}
        Weak:
        {b(b(0(), y), x) -> y,
                 c c c y -> c c a(a(c b(0(), y), 0()), 0()),
               a(y, 0()) -> b(y, 0())}
        Fail