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