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