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