MAYBE
Time: 0.001796
TRS:
 {  f(x, y, g z) -> g f(x, y, z),
    f(x, g y, z) -> g f(x, y, z),
    f(g x, y, z) -> g f(x, y, z),
  f(0(), 1(), x) -> f(g x, g x, x)}
 DP:
  DP:
   {  f#(x, y, g z) -> f#(x, y, z),
      f#(x, g y, z) -> f#(x, y, z),
      f#(g x, y, z) -> f#(x, y, z),
    f#(0(), 1(), x) -> f#(g x, g x, x)}
  TRS:
  {  f(x, y, g z) -> g f(x, y, z),
     f(x, g y, z) -> g f(x, y, z),
     f(g x, y, z) -> g f(x, y, z),
   f(0(), 1(), x) -> f(g x, g x, x)}
  UR:
   {a(w, v) -> w,
    a(w, v) -> v}
   EDG:
    {(f#(x, y, g z) -> f#(x, y, z), f#(0(), 1(), x) -> f#(g x, g x, x))
     (f#(x, y, g z) -> f#(x, y, z), f#(g x, y, z) -> f#(x, y, z))
     (f#(x, y, g z) -> f#(x, y, z), f#(x, g y, z) -> f#(x, y, z))
     (f#(x, y, g z) -> f#(x, y, z), f#(x, y, g z) -> f#(x, y, z))
     (f#(g x, y, z) -> f#(x, y, z), f#(0(), 1(), x) -> f#(g x, g x, x))
     (f#(g x, y, z) -> f#(x, y, z), f#(g x, y, z) -> f#(x, y, z))
     (f#(g x, y, z) -> f#(x, y, z), f#(x, g y, z) -> f#(x, y, z))
     (f#(g x, y, z) -> f#(x, y, z), f#(x, y, g z) -> f#(x, y, z))
     (f#(x, g y, z) -> f#(x, y, z), f#(x, y, g z) -> f#(x, y, z))
     (f#(x, g y, z) -> f#(x, y, z), f#(x, g y, z) -> f#(x, y, z))
     (f#(x, g y, z) -> f#(x, y, z), f#(g x, y, z) -> f#(x, y, z))
     (f#(x, g y, z) -> f#(x, y, z), f#(0(), 1(), x) -> f#(g x, g x, x))
     (f#(0(), 1(), x) -> f#(g x, g x, x), f#(x, y, g z) -> f#(x, y, z))
     (f#(0(), 1(), x) -> f#(g x, g x, x), f#(x, g y, z) -> f#(x, y, z))
     (f#(0(), 1(), x) -> f#(g x, g x, x), f#(g x, y, z) -> f#(x, y, z))
     (f#(0(), 1(), x) -> f#(g x, g x, x), f#(0(), 1(), x) -> f#(g x, g x, x))}
    EDG:
     {(f#(x, y, g z) -> f#(x, y, z), f#(0(), 1(), x) -> f#(g x, g x, x))
      (f#(x, y, g z) -> f#(x, y, z), f#(g x, y, z) -> f#(x, y, z))
      (f#(x, y, g z) -> f#(x, y, z), f#(x, g y, z) -> f#(x, y, z))
      (f#(x, y, g z) -> f#(x, y, z), f#(x, y, g z) -> f#(x, y, z))
      (f#(g x, y, z) -> f#(x, y, z), f#(0(), 1(), x) -> f#(g x, g x, x))
      (f#(g x, y, z) -> f#(x, y, z), f#(g x, y, z) -> f#(x, y, z))
      (f#(g x, y, z) -> f#(x, y, z), f#(x, g y, z) -> f#(x, y, z))
      (f#(g x, y, z) -> f#(x, y, z), f#(x, y, g z) -> f#(x, y, z))
      (f#(x, g y, z) -> f#(x, y, z), f#(x, y, g z) -> f#(x, y, z))
      (f#(x, g y, z) -> f#(x, y, z), f#(x, g y, z) -> f#(x, y, z))
      (f#(x, g y, z) -> f#(x, y, z), f#(g x, y, z) -> f#(x, y, z))
      (f#(x, g y, z) -> f#(x, y, z), f#(0(), 1(), x) -> f#(g x, g x, x))
      (f#(0(), 1(), x) -> f#(g x, g x, x), f#(x, y, g z) -> f#(x, y, z))
      (f#(0(), 1(), x) -> f#(g x, g x, x), f#(x, g y, z) -> f#(x, y, z))
      (f#(0(), 1(), x) -> f#(g x, g x, x), f#(g x, y, z) -> f#(x, y, z))}
     EDG:
      {(f#(x, y, g z) -> f#(x, y, z), f#(0(), 1(), x) -> f#(g x, g x, x))
       (f#(x, y, g z) -> f#(x, y, z), f#(g x, y, z) -> f#(x, y, z))
       (f#(x, y, g z) -> f#(x, y, z), f#(x, g y, z) -> f#(x, y, z))
       (f#(x, y, g z) -> f#(x, y, z), f#(x, y, g z) -> f#(x, y, z))
       (f#(g x, y, z) -> f#(x, y, z), f#(0(), 1(), x) -> f#(g x, g x, x))
       (f#(g x, y, z) -> f#(x, y, z), f#(g x, y, z) -> f#(x, y, z))
       (f#(g x, y, z) -> f#(x, y, z), f#(x, g y, z) -> f#(x, y, z))
       (f#(g x, y, z) -> f#(x, y, z), f#(x, y, g z) -> f#(x, y, z))
       (f#(x, g y, z) -> f#(x, y, z), f#(x, y, g z) -> f#(x, y, z))
       (f#(x, g y, z) -> f#(x, y, z), f#(x, g y, z) -> f#(x, y, z))
       (f#(x, g y, z) -> f#(x, y, z), f#(g x, y, z) -> f#(x, y, z))
       (f#(x, g y, z) -> f#(x, y, z), f#(0(), 1(), x) -> f#(g x, g x, x))
       (f#(0(), 1(), x) -> f#(g x, g x, x), f#(x, y, g z) -> f#(x, y, z))
       (f#(0(), 1(), x) -> f#(g x, g x, x), f#(x, g y, z) -> f#(x, y, z))
       (f#(0(), 1(), x) -> f#(g x, g x, x), f#(g x, y, z) -> f#(x, y, z))}
      EDG:
       {(f#(x, y, g z) -> f#(x, y, z), f#(0(), 1(), x) -> f#(g x, g x, x))
        (f#(x, y, g z) -> f#(x, y, z), f#(g x, y, z) -> f#(x, y, z))
        (f#(x, y, g z) -> f#(x, y, z), f#(x, g y, z) -> f#(x, y, z))
        (f#(x, y, g z) -> f#(x, y, z), f#(x, y, g z) -> f#(x, y, z))
        (f#(g x, y, z) -> f#(x, y, z), f#(0(), 1(), x) -> f#(g x, g x, x))
        (f#(g x, y, z) -> f#(x, y, z), f#(g x, y, z) -> f#(x, y, z))
        (f#(g x, y, z) -> f#(x, y, z), f#(x, g y, z) -> f#(x, y, z))
        (f#(g x, y, z) -> f#(x, y, z), f#(x, y, g z) -> f#(x, y, z))
        (f#(x, g y, z) -> f#(x, y, z), f#(x, y, g z) -> f#(x, y, z))
        (f#(x, g y, z) -> f#(x, y, z), f#(x, g y, z) -> f#(x, y, z))
        (f#(x, g y, z) -> f#(x, y, z), f#(g x, y, z) -> f#(x, y, z))
        (f#(x, g y, z) -> f#(x, y, z), f#(0(), 1(), x) -> f#(g x, g x, x))
        (f#(0(), 1(), x) -> f#(g x, g x, x), f#(x, y, g z) -> f#(x, y, z))
        (f#(0(), 1(), x) -> f#(g x, g x, x), f#(x, g y, z) -> f#(x, y, z))
        (f#(0(), 1(), x) -> f#(g x, g x, x), f#(g x, y, z) -> f#(x, y, z))}
       STATUS:
        arrows: 0.062500
        SCCS (1):
         Scc:
          {  f#(x, y, g z) -> f#(x, y, z),
             f#(x, g y, z) -> f#(x, y, z),
             f#(g x, y, z) -> f#(x, y, z),
           f#(0(), 1(), x) -> f#(g x, g x, x)}
         
         SCC (4):
          Strict:
           {  f#(x, y, g z) -> f#(x, y, z),
              f#(x, g y, z) -> f#(x, y, z),
              f#(g x, y, z) -> f#(x, y, z),
            f#(0(), 1(), x) -> f#(g x, g x, x)}
          Weak:
          {  f(x, y, g z) -> g f(x, y, z),
             f(x, g y, z) -> g f(x, y, z),
             f(g x, y, z) -> g f(x, y, z),
           f(0(), 1(), x) -> f(g x, g x, x)}
          Open