MAYBE
Time: 0.075571
TRS:
 {            f(x, f(y, z)) -> f(f(x, y), z),
  f(f(f(a(), b()), c()), x) -> f(b(), f(a(), f(c(), f(b(), x))))}
 DP:
  DP:
   {            f#(x, f(y, z)) -> f#(x, y),
                f#(x, f(y, z)) -> f#(f(x, y), z),
    f#(f(f(a(), b()), c()), x) -> f#(b(), x),
    f#(f(f(a(), b()), c()), x) -> f#(b(), f(a(), f(c(), f(b(), x)))),
    f#(f(f(a(), b()), c()), x) -> f#(a(), f(c(), f(b(), x))),
    f#(f(f(a(), b()), c()), x) -> f#(c(), f(b(), x))}
  TRS:
  {            f(x, f(y, z)) -> f(f(x, y), z),
   f(f(f(a(), b()), c()), x) -> f(b(), f(a(), f(c(), f(b(), x))))}
  EDG:
   {(f#(x, f(y, z)) -> f#(x, y), f#(f(f(a(), b()), c()), x) -> f#(c(), f(b(), x)))
    (f#(x, f(y, z)) -> f#(x, y), f#(f(f(a(), b()), c()), x) -> f#(a(), f(c(), f(b(), x))))
    (f#(x, f(y, z)) -> f#(x, y), f#(f(f(a(), b()), c()), x) -> f#(b(), f(a(), f(c(), f(b(), x)))))
    (f#(x, f(y, z)) -> f#(x, y), f#(f(f(a(), b()), c()), x) -> f#(b(), x))
    (f#(x, f(y, z)) -> f#(x, y), f#(x, f(y, z)) -> f#(f(x, y), z))
    (f#(x, f(y, z)) -> f#(x, y), f#(x, f(y, z)) -> f#(x, y))
    (f#(f(f(a(), b()), c()), x) -> f#(b(), f(a(), f(c(), f(b(), x)))), f#(x, f(y, z)) -> f#(f(x, y), z))
    (f#(f(f(a(), b()), c()), x) -> f#(b(), f(a(), f(c(), f(b(), x)))), f#(x, f(y, z)) -> f#(x, y))
    (f#(f(f(a(), b()), c()), x) -> f#(b(), x), f#(x, f(y, z)) -> f#(f(x, y), z))
    (f#(f(f(a(), b()), c()), x) -> f#(b(), x), f#(x, f(y, z)) -> f#(x, y))
    (f#(f(f(a(), b()), c()), x) -> f#(a(), f(c(), f(b(), x))), f#(x, f(y, z)) -> f#(x, y))
    (f#(f(f(a(), b()), c()), x) -> f#(a(), f(c(), f(b(), x))), 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#(x, y))
    (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#(f(f(a(), b()), c()), x) -> f#(b(), x))
    (f#(x, f(y, z)) -> f#(f(x, y), z), f#(f(f(a(), b()), c()), x) -> f#(b(), f(a(), f(c(), f(b(), x)))))
    (f#(x, f(y, z)) -> f#(f(x, y), z), f#(f(f(a(), b()), c()), x) -> f#(a(), f(c(), f(b(), x))))
    (f#(x, f(y, z)) -> f#(f(x, y), z), f#(f(f(a(), b()), c()), x) -> f#(c(), f(b(), x)))
    (f#(f(f(a(), b()), c()), x) -> f#(c(), f(b(), x)), f#(x, f(y, z)) -> f#(x, y))
    (f#(f(f(a(), b()), c()), x) -> f#(c(), f(b(), x)), f#(x, f(y, z)) -> f#(f(x, y), z))}
   EDG:
    {(f#(x, f(y, z)) -> f#(x, y), f#(f(f(a(), b()), c()), x) -> f#(c(), f(b(), x)))
     (f#(x, f(y, z)) -> f#(x, y), f#(f(f(a(), b()), c()), x) -> f#(a(), f(c(), f(b(), x))))
     (f#(x, f(y, z)) -> f#(x, y), f#(f(f(a(), b()), c()), x) -> f#(b(), f(a(), f(c(), f(b(), x)))))
     (f#(x, f(y, z)) -> f#(x, y), f#(f(f(a(), b()), c()), x) -> f#(b(), x))
     (f#(x, f(y, z)) -> f#(x, y), f#(x, f(y, z)) -> f#(f(x, y), z))
     (f#(x, f(y, z)) -> f#(x, y), f#(x, f(y, z)) -> f#(x, y))
     (f#(f(f(a(), b()), c()), x) -> f#(b(), f(a(), f(c(), f(b(), x)))), f#(x, f(y, z)) -> f#(f(x, y), z))
     (f#(f(f(a(), b()), c()), x) -> f#(b(), f(a(), f(c(), f(b(), x)))), f#(x, f(y, z)) -> f#(x, y))
     (f#(f(f(a(), b()), c()), x) -> f#(a(), f(c(), f(b(), x))), f#(x, f(y, z)) -> f#(x, y))
     (f#(f(f(a(), b()), c()), x) -> f#(a(), f(c(), f(b(), x))), 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#(x, y))
     (f#(x, f(y, z)) -> f#(f(x, y), z), f#(x, f(y, z)) -> f#(f(x, y), z))
     (f#(f(f(a(), b()), c()), x) -> f#(c(), f(b(), x)), f#(x, f(y, z)) -> f#(x, y))
     (f#(f(f(a(), b()), c()), x) -> f#(c(), f(b(), x)), f#(x, f(y, z)) -> f#(f(x, y), z))}
    EDG:
     {(f#(x, f(y, z)) -> f#(x, y), f#(f(f(a(), b()), c()), x) -> f#(c(), f(b(), x)))
      (f#(x, f(y, z)) -> f#(x, y), f#(f(f(a(), b()), c()), x) -> f#(a(), f(c(), f(b(), x))))
      (f#(x, f(y, z)) -> f#(x, y), f#(f(f(a(), b()), c()), x) -> f#(b(), f(a(), f(c(), f(b(), x)))))
      (f#(x, f(y, z)) -> f#(x, y), f#(f(f(a(), b()), c()), x) -> f#(b(), x))
      (f#(x, f(y, z)) -> f#(x, y), f#(x, f(y, z)) -> f#(f(x, y), z))
      (f#(x, f(y, z)) -> f#(x, y), f#(x, f(y, z)) -> f#(x, y))
      (f#(f(f(a(), b()), c()), x) -> f#(b(), f(a(), f(c(), f(b(), x)))), f#(x, f(y, z)) -> f#(f(x, y), z))
      (f#(f(f(a(), b()), c()), x) -> f#(b(), f(a(), f(c(), f(b(), x)))), f#(x, f(y, z)) -> f#(x, y))
      (f#(f(f(a(), b()), c()), x) -> f#(a(), f(c(), f(b(), x))), f#(x, f(y, z)) -> f#(x, y))
      (f#(f(f(a(), b()), c()), x) -> f#(a(), f(c(), f(b(), x))), 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#(x, y))
      (f#(x, f(y, z)) -> f#(f(x, y), z), f#(x, f(y, z)) -> f#(f(x, y), z))
      (f#(f(f(a(), b()), c()), x) -> f#(c(), f(b(), x)), f#(x, f(y, z)) -> f#(x, y))
      (f#(f(f(a(), b()), c()), x) -> f#(c(), f(b(), x)), f#(x, f(y, z)) -> f#(f(x, y), z))}
     STATUS:
      arrows: 0.611111
      SCCS (1):
       Scc:
        {            f#(x, f(y, z)) -> f#(x, y),
                     f#(x, f(y, z)) -> f#(f(x, y), z),
         f#(f(f(a(), b()), c()), x) -> f#(b(), f(a(), f(c(), f(b(), x)))),
         f#(f(f(a(), b()), c()), x) -> f#(a(), f(c(), f(b(), x))),
         f#(f(f(a(), b()), c()), x) -> f#(c(), f(b(), x))}
       
       SCC (5):
        Strict:
         {            f#(x, f(y, z)) -> f#(x, y),
                      f#(x, f(y, z)) -> f#(f(x, y), z),
          f#(f(f(a(), b()), c()), x) -> f#(b(), f(a(), f(c(), f(b(), x)))),
          f#(f(f(a(), b()), c()), x) -> f#(a(), f(c(), f(b(), x))),
          f#(f(f(a(), b()), c()), x) -> f#(c(), f(b(), x))}
        Weak:
        {            f(x, f(y, z)) -> f(f(x, y), z),
         f(f(f(a(), b()), c()), x) -> f(b(), f(a(), f(c(), f(b(), x))))}
        Open