MAYBE
Time: 0.001078
TRS:
 {f(x, c x, c y) -> f(y, y, f(y, x, y)),
    f(c x, x, y) -> c y,
    f(s x, y, z) -> f(x, s c y, c z),
         g(x, y) -> y,
         g(x, y) -> x}
 DP:
  DP:
   {f#(x, c x, c y) -> f#(y, y, f(y, x, y)),
    f#(x, c x, c y) -> f#(y, x, y),
      f#(s x, y, z) -> f#(x, s c y, c z)}
  TRS:
  {f(x, c x, c y) -> f(y, y, f(y, x, y)),
     f(c x, x, y) -> c y,
     f(s x, y, z) -> f(x, s c y, c z),
          g(x, y) -> y,
          g(x, y) -> x}
  EDG:
   {(f#(x, c x, c y) -> f#(y, x, y), f#(s x, y, z) -> f#(x, s c y, c z))
    (f#(x, c x, c y) -> f#(y, x, y), f#(x, c x, c y) -> f#(y, x, y))
    (f#(x, c x, c y) -> f#(y, x, y), f#(x, c x, c y) -> f#(y, y, f(y, x, y)))
    (f#(s x, y, z) -> f#(x, s c y, c z), f#(s x, y, z) -> f#(x, s c y, c z))
    (f#(x, c x, c y) -> f#(y, y, f(y, x, y)), f#(s x, y, z) -> f#(x, s c y, c z))}
   STATUS:
    arrows: 0.444444
    SCCS (2):
     Scc:
      {f#(x, c x, c y) -> f#(y, x, y)}
     Scc:
      {f#(s x, y, z) -> f#(x, s c y, c z)}
     
     SCC (1):
      Strict:
       {f#(x, c x, c y) -> f#(y, x, y)}
      Weak:
      {f(x, c x, c y) -> f(y, y, f(y, x, y)),
         f(c x, x, y) -> c y,
         f(s x, y, z) -> f(x, s c y, c z),
              g(x, y) -> y,
              g(x, y) -> x}
      Open
     
     SCC (1):
      Strict:
       {f#(s x, y, z) -> f#(x, s c y, c z)}
      Weak:
      {f(x, c x, c y) -> f(y, y, f(y, x, y)),
         f(c x, x, y) -> c y,
         f(s x, y, z) -> f(x, s c y, c z),
              g(x, y) -> y,
              g(x, y) -> x}
      Open