MAYBE
Time: 0.001292
TRS:
 {f(x, y, f(z, u, v)) -> f(f(x, y, z), u, f(x, y, v))}
 DP:
  DP:
   {f#(x, y, f(z, u, v)) -> f#(x, y, z),
    f#(x, y, f(z, u, v)) -> f#(x, y, v),
    f#(x, y, f(z, u, v)) -> f#(f(x, y, z), u, f(x, y, v))}
  TRS:
  {f(x, y, f(z, u, v)) -> f(f(x, y, z), u, f(x, y, v))}
  EDG:
   {(f#(x, y, f(z, u, v)) -> f#(f(x, y, z), u, f(x, y, v)), f#(x, y, f(z, u, v)) -> f#(f(x, y, z), u, f(x, y, v)))
    (f#(x, y, f(z, u, v)) -> f#(f(x, y, z), u, f(x, y, v)), f#(x, y, f(z, u, v)) -> f#(x, y, v))
    (f#(x, y, f(z, u, v)) -> f#(f(x, y, z), u, f(x, y, v)), f#(x, y, f(z, u, v)) -> f#(x, y, z))
    (f#(x, y, f(z, u, v)) -> f#(x, y, v), f#(x, y, f(z, u, v)) -> f#(x, y, z))
    (f#(x, y, f(z, u, v)) -> f#(x, y, v), f#(x, y, f(z, u, v)) -> f#(x, y, v))
    (f#(x, y, f(z, u, v)) -> f#(x, y, v), f#(x, y, f(z, u, v)) -> f#(f(x, y, z), u, f(x, y, v)))
    (f#(x, y, f(z, u, v)) -> f#(x, y, z), f#(x, y, f(z, u, v)) -> f#(x, y, z))
    (f#(x, y, f(z, u, v)) -> f#(x, y, z), f#(x, y, f(z, u, v)) -> f#(x, y, v))
    (f#(x, y, f(z, u, v)) -> f#(x, y, z), f#(x, y, f(z, u, v)) -> f#(f(x, y, z), u, f(x, y, v)))}
   STATUS:
    arrows: 0.000000
    SCCS (1):
     Scc:
      {f#(x, y, f(z, u, v)) -> f#(x, y, z),
       f#(x, y, f(z, u, v)) -> f#(x, y, v),
       f#(x, y, f(z, u, v)) -> f#(f(x, y, z), u, f(x, y, v))}
     
     SCC (3):
      Strict:
       {f#(x, y, f(z, u, v)) -> f#(x, y, z),
        f#(x, y, f(z, u, v)) -> f#(x, y, v),
        f#(x, y, f(z, u, v)) -> f#(f(x, y, z), u, f(x, y, v))}
      Weak:
      {f(x, y, f(z, u, v)) -> f(f(x, y, z), u, f(x, y, v))}
      Open