MAYBE
Time: 0.000905
TRS:
 {f(X, f(Y, Z)) -> f(Y, Y),
  f(f(X, Y), Z) -> f(X, f(Y, Z))}
 DP:
  DP:
   {f#(X, f(Y, Z)) -> f#(Y, Y),
    f#(f(X, Y), Z) -> f#(X, f(Y, Z)),
    f#(f(X, Y), Z) -> f#(Y, Z)}
  TRS:
  {f(X, f(Y, Z)) -> f(Y, Y),
   f(f(X, Y), Z) -> f(X, f(Y, Z))}
  EDG:
   {(f#(f(X, Y), Z) -> f#(Y, Z), f#(f(X, Y), Z) -> f#(Y, Z))
    (f#(f(X, Y), Z) -> f#(Y, Z), f#(f(X, Y), Z) -> f#(X, f(Y, Z)))
    (f#(f(X, Y), Z) -> f#(Y, Z), f#(X, f(Y, Z)) -> f#(Y, Y))
    (f#(X, f(Y, Z)) -> f#(Y, Y), f#(X, f(Y, Z)) -> f#(Y, Y))
    (f#(X, f(Y, Z)) -> f#(Y, Y), f#(f(X, Y), Z) -> f#(X, f(Y, Z)))
    (f#(X, f(Y, Z)) -> f#(Y, Y), f#(f(X, Y), Z) -> f#(Y, Z))
    (f#(f(X, Y), Z) -> f#(X, f(Y, Z)), f#(X, f(Y, Z)) -> f#(Y, Y))
    (f#(f(X, Y), Z) -> f#(X, f(Y, Z)), f#(f(X, Y), Z) -> f#(X, f(Y, Z)))
    (f#(f(X, Y), Z) -> f#(X, f(Y, Z)), f#(f(X, Y), Z) -> f#(Y, Z))}
   STATUS:
    arrows: 0.000000
    SCCS (1):
     Scc:
      {f#(X, f(Y, Z)) -> f#(Y, Y),
       f#(f(X, Y), Z) -> f#(X, f(Y, Z)),
       f#(f(X, Y), Z) -> f#(Y, Z)}
     
     SCC (3):
      Strict:
       {f#(X, f(Y, Z)) -> f#(Y, Y),
        f#(f(X, Y), Z) -> f#(X, f(Y, Z)),
        f#(f(X, Y), Z) -> f#(Y, Z)}
      Weak:
      {f(X, f(Y, Z)) -> f(Y, Y),
       f(f(X, Y), Z) -> f(X, f(Y, Z))}
      Open