YES
Time: 0.006537
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))}
  UR:
   {  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()))}
    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()))}
     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)))}
      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)))}
       STATUS:
        arrows: 0.938776
        SCCS (0):