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