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