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