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