MAYBE
Time: 1.793682
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}
  UR:
   {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)}
   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#(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#(x, c x, c 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#(x, c x, c y) -> f#(y, y, f(y, x, y)))
     (f#(x, c x, c y) -> f#(y, 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))}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {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)}
      
      SCC (3):
       Strict:
        {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)}
       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