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