MAYBE
Time: 0.001861
TRS:
 {    c c b(c y, 0()) -> a(0(), c c a(y, 0())),
        c c c a(x, y) -> b(c c c c y, x),
  c c a(a(y, 0()), x) -> c y}
 DP:
  DP:
   {    c# c b(c y, 0()) -> c# c a(y, 0()),
        c# c b(c y, 0()) -> c# a(y, 0()),
          c# c c a(x, y) -> c# y,
          c# c c a(x, y) -> c# c y,
          c# c c a(x, y) -> c# c c y,
          c# c c a(x, y) -> c# c c c y,
    c# c a(a(y, 0()), x) -> c# y}
  TRS:
  {    c c b(c y, 0()) -> a(0(), c c a(y, 0())),
         c c c a(x, y) -> b(c c c c y, x),
   c c a(a(y, 0()), x) -> c y}
  UR:
   {    c c b(c y, 0()) -> a(0(), c c a(y, 0())),
          c c c a(x, y) -> b(c c c c y, x),
    c c a(a(y, 0()), x) -> c y}
   EDG:
    {(c# c c a(x, y) -> c# c c y, c# c a(a(y, 0()), x) -> c# y)
     (c# c c a(x, y) -> c# c c y, c# c c a(x, y) -> c# c c c y)
     (c# c c a(x, y) -> c# c c y, c# c c a(x, y) -> c# c c y)
     (c# c c a(x, y) -> c# c c y, c# c c a(x, y) -> c# c y)
     (c# c c a(x, y) -> c# c c y, c# c c a(x, y) -> c# y)
     (c# c c a(x, y) -> c# c c y, c# c b(c y, 0()) -> c# a(y, 0()))
     (c# c c a(x, y) -> c# c c y, c# c b(c y, 0()) -> c# c a(y, 0()))
     (c# c a(a(y, 0()), x) -> c# y, c# c a(a(y, 0()), x) -> c# y)
     (c# c a(a(y, 0()), x) -> c# y, c# c c a(x, y) -> c# c c c y)
     (c# c a(a(y, 0()), x) -> c# y, c# c c a(x, y) -> c# c c y)
     (c# c a(a(y, 0()), x) -> c# y, c# c c a(x, y) -> c# c y)
     (c# c a(a(y, 0()), x) -> c# y, c# c c a(x, y) -> c# y)
     (c# c a(a(y, 0()), x) -> c# y, c# c b(c y, 0()) -> c# a(y, 0()))
     (c# c a(a(y, 0()), x) -> c# y, c# c b(c y, 0()) -> c# c a(y, 0()))
     (c# c b(c y, 0()) -> c# a(y, 0()), c# c a(a(y, 0()), x) -> c# y)
     (c# c b(c y, 0()) -> c# a(y, 0()), c# c c a(x, y) -> c# c c c y)
     (c# c b(c y, 0()) -> c# a(y, 0()), c# c c a(x, y) -> c# c c y)
     (c# c b(c y, 0()) -> c# a(y, 0()), c# c c a(x, y) -> c# c y)
     (c# c b(c y, 0()) -> c# a(y, 0()), c# c c a(x, y) -> c# y)
     (c# c b(c y, 0()) -> c# a(y, 0()), c# c b(c y, 0()) -> c# a(y, 0()))
     (c# c b(c y, 0()) -> c# a(y, 0()), c# c b(c y, 0()) -> c# c a(y, 0()))
     (c# c c a(x, y) -> c# c c c y, c# c b(c y, 0()) -> c# c a(y, 0()))
     (c# c c a(x, y) -> c# c c c y, c# c b(c y, 0()) -> c# a(y, 0()))
     (c# c c a(x, y) -> c# c c c y, c# c c a(x, y) -> c# y)
     (c# c c a(x, y) -> c# c c c y, c# c c a(x, y) -> c# c y)
     (c# c c a(x, y) -> c# c c c y, c# c c a(x, y) -> c# c c y)
     (c# c c a(x, y) -> c# c c c y, c# c c a(x, y) -> c# c c c y)
     (c# c c a(x, y) -> c# c c c y, c# c a(a(y, 0()), x) -> c# y)
     (c# c c a(x, y) -> c# c y, c# c b(c y, 0()) -> c# c a(y, 0()))
     (c# c c a(x, y) -> c# c y, c# c b(c y, 0()) -> c# a(y, 0()))
     (c# c c a(x, y) -> c# c y, c# c c a(x, y) -> c# y)
     (c# c c a(x, y) -> c# c y, c# c c a(x, y) -> c# c y)
     (c# c c a(x, y) -> c# c y, c# c c a(x, y) -> c# c c y)
     (c# c c a(x, y) -> c# c y, c# c c a(x, y) -> c# c c c y)
     (c# c c a(x, y) -> c# c y, c# c a(a(y, 0()), x) -> c# y)
     (c# c c a(x, y) -> c# y, c# c b(c y, 0()) -> c# c a(y, 0()))
     (c# c c a(x, y) -> c# y, c# c b(c y, 0()) -> c# a(y, 0()))
     (c# c c a(x, y) -> c# y, c# c c a(x, y) -> c# y)
     (c# c c a(x, y) -> c# y, c# c c a(x, y) -> c# c y)
     (c# c c a(x, y) -> c# y, c# c c a(x, y) -> c# c c y)
     (c# c c a(x, y) -> c# y, c# c c a(x, y) -> c# c c c y)
     (c# c c a(x, y) -> c# y, c# c a(a(y, 0()), x) -> c# y)
     (c# c b(c y, 0()) -> c# c a(y, 0()), c# c b(c y, 0()) -> c# c a(y, 0()))
     (c# c b(c y, 0()) -> c# c a(y, 0()), c# c b(c y, 0()) -> c# a(y, 0()))
     (c# c b(c y, 0()) -> c# c a(y, 0()), c# c c a(x, y) -> c# y)
     (c# c b(c y, 0()) -> c# c a(y, 0()), c# c c a(x, y) -> c# c y)
     (c# c b(c y, 0()) -> c# c a(y, 0()), c# c c a(x, y) -> c# c c y)
     (c# c b(c y, 0()) -> c# c a(y, 0()), c# c c a(x, y) -> c# c c c y)
     (c# c b(c y, 0()) -> c# c a(y, 0()), c# c a(a(y, 0()), x) -> c# y)}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {    c# c b(c y, 0()) -> c# c a(y, 0()),
            c# c b(c y, 0()) -> c# a(y, 0()),
              c# c c a(x, y) -> c# y,
              c# c c a(x, y) -> c# c y,
              c# c c a(x, y) -> c# c c y,
              c# c c a(x, y) -> c# c c c y,
        c# c a(a(y, 0()), x) -> c# y}
      
      SCC (7):
       Strict:
        {    c# c b(c y, 0()) -> c# c a(y, 0()),
             c# c b(c y, 0()) -> c# a(y, 0()),
               c# c c a(x, y) -> c# y,
               c# c c a(x, y) -> c# c y,
               c# c c a(x, y) -> c# c c y,
               c# c c a(x, y) -> c# c c c y,
         c# c a(a(y, 0()), x) -> c# y}
       Weak:
       {    c c b(c y, 0()) -> a(0(), c c a(y, 0())),
              c c c a(x, y) -> b(c c c c y, x),
        c c a(a(y, 0()), x) -> c y}
       Open