MAYBE
Time: 1.275764
TRS:
 {                f b(b(x, f y), z) -> c(z, x, f b(b(f a(), y), y)),
  f c(c(a(), y, a()), b(x, z), a()) -> b(y, f c(f a(), z, z)),
         c(b(a(), a()), b(y, z), x) -> b(a(), b(z, z))}
 DP:
  DP:
   {                f# b(b(x, f y), z) -> f# b(b(f a(), y), y),
                    f# b(b(x, f y), z) -> f# a(),
                    f# b(b(x, f y), z) -> c#(z, x, f b(b(f a(), y), y)),
    f# c(c(a(), y, a()), b(x, z), a()) -> f# c(f a(), z, z),
    f# c(c(a(), y, a()), b(x, z), a()) -> f# a(),
    f# c(c(a(), y, a()), b(x, z), a()) -> c#(f a(), z, z)}
  TRS:
  {                f b(b(x, f y), z) -> c(z, x, f b(b(f a(), y), y)),
   f c(c(a(), y, a()), b(x, z), a()) -> b(y, f c(f a(), z, z)),
          c(b(a(), a()), b(y, z), x) -> b(a(), b(z, z))}
  UR:
   {         f b(b(x, f y), z) -> c(z, x, f b(b(f a(), y), y)),
    c(b(a(), a()), b(y, z), x) -> b(a(), b(z, z)),
                       d(w, v) -> w,
                       d(w, v) -> v}
   EDG:
    {(f# b(b(x, f y), z) -> f# b(b(f a(), y), y), f# b(b(x, f y), z) -> c#(z, x, f b(b(f a(), y), y)))
     (f# b(b(x, f y), z) -> f# b(b(f a(), y), y), f# b(b(x, f y), z) -> f# a())
     (f# b(b(x, f y), z) -> f# b(b(f a(), y), y), f# b(b(x, f y), z) -> f# b(b(f a(), y), y))}
    STATUS:
     arrows: 0.916667
     SCCS (1):
      Scc:
       {f# b(b(x, f y), z) -> f# b(b(f a(), y), y)}
      
      
      
      SCC (1):
       Strict:
        {f# b(b(x, f y), z) -> f# b(b(f a(), y), y)}
       Weak:
       {                f b(b(x, f y), z) -> c(z, x, f b(b(f a(), y), y)),
        f c(c(a(), y, a()), b(x, z), a()) -> b(y, f c(f a(), z, z)),
               c(b(a(), a()), b(y, z), x) -> b(a(), b(z, z))}
       Open