MAYBE
Time: 0.001259
TRS:
 {                       b(f b(x, z), y) -> f f f b(z, b(y, z)),
  b(b(c(b(a(), a()), a(), z), f a()), y) -> z,
             c(f f c(x, a(), z), a(), y) -> b(y, f b(a(), z))}
 DP:
  DP:
   {            b#(f b(x, z), y) -> b#(z, b(y, z)),
                b#(f b(x, z), y) -> b#(y, z),
    c#(f f c(x, a(), z), a(), y) -> b#(y, f b(a(), z)),
    c#(f f c(x, a(), z), a(), y) -> b#(a(), z)}
  TRS:
  {                       b(f b(x, z), y) -> f f f b(z, b(y, z)),
   b(b(c(b(a(), a()), a(), z), f a()), y) -> z,
              c(f f c(x, a(), z), a(), y) -> b(y, f b(a(), z))}
  EDG:
   {(c#(f f c(x, a(), z), a(), y) -> b#(y, f b(a(), z)), b#(f b(x, z), y) -> b#(y, z))
    (c#(f f c(x, a(), z), a(), y) -> b#(y, f b(a(), z)), b#(f b(x, z), y) -> b#(z, b(y, z)))
    (b#(f b(x, z), y) -> b#(y, z), b#(f b(x, z), y) -> b#(y, z))
    (b#(f b(x, z), y) -> b#(y, z), b#(f b(x, z), y) -> b#(z, b(y, z)))
    (b#(f b(x, z), y) -> b#(z, b(y, z)), b#(f b(x, z), y) -> b#(z, b(y, z)))
    (b#(f b(x, z), y) -> b#(z, b(y, z)), b#(f b(x, z), y) -> b#(y, z))}
   STATUS:
    arrows: 0.625000
    SCCS (1):
     Scc:
      {b#(f b(x, z), y) -> b#(z, b(y, z)),
       b#(f b(x, z), y) -> b#(y, z)}
     
     
     SCC (2):
      Strict:
       {b#(f b(x, z), y) -> b#(z, b(y, z)),
        b#(f b(x, z), y) -> b#(y, z)}
      Weak:
      {                       b(f b(x, z), y) -> f f f b(z, b(y, z)),
       b(b(c(b(a(), a()), a(), z), f a()), y) -> z,
                  c(f f c(x, a(), z), a(), y) -> b(y, f b(a(), z))}
      Open