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