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