MAYBE
Time: 0.019967
TRS:
 {                  f(x, x, y) -> x,
                    f(x, y, y) -> y,
                  f(x, y, g y) -> x,
  f(f(x, y, z), u, f(x, y, v)) -> f(x, y, f(z, u, v)),
                  f(g x, x, y) -> y}
 DP:
  DP:
   {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#(z, u, v)}
  TRS:
  {                  f(x, x, y) -> x,
                     f(x, y, y) -> y,
                   f(x, y, g y) -> x,
   f(f(x, y, z), u, f(x, y, v)) -> f(x, y, f(z, u, v)),
                   f(g x, x, y) -> y}
  EDG:
   {(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#(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#(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#(z, u, v), f#(f(x, y, z), u, f(x, y, v)) -> f#(z, u, v))}
   STATUS:
    arrows: 0.000000
    SCCS (1):
     Scc:
      {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#(z, u, v)}
     
     SCC (2):
      Strict:
       {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#(z, u, v)}
      Weak:
      {                  f(x, x, y) -> x,
                         f(x, y, y) -> y,
                       f(x, y, g y) -> x,
       f(f(x, y, z), u, f(x, y, v)) -> f(x, y, f(z, u, v)),
                       f(g x, x, y) -> y}
      Open