MAYBE
Time: 0.000663
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}
  UR:
   {f c(s x, y) -> f c(x, s y)}
   EDG:
    {(g# c(x, s y) -> g# c(s x, y), g# s f x -> g# f x)
     (g# c(x, s y) -> g# c(s x, y), g# c(x, s y) -> g# c(s x, y))
     (g# s f x -> g# f x, g# c(x, s y) -> g# c(s x, y))
     (g# s f x -> g# f x, g# s f x -> g# f x)
     (f# c(s x, y) -> f# c(x, s y), f# c(s x, y) -> f# c(x, s y))}
    STATUS:
     arrows: 0.444444
     SCCS (2):
      Scc:
       {g# c(x, s y) -> g# c(s x, y),
            g# s f x -> g# f x}
      Scc:
       {f# c(s x, y) -> f# c(x, s y)}
      
      SCC (2):
       Strict:
        {g# c(x, s y) -> g# c(s x, y),
             g# s f x -> g# f x}
       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