MAYBE
Time: 0.026377
TRS:
 {g c(x, s y) -> g c(s x, y),
          f x -> x,
  f c(s x, y) -> f c(x, s y),
        f f x -> f d f x}
 DP:
  DP:
   {g# c(x, s y) -> g# c(s x, y),
    f# c(s x, y) -> f# c(x, s y),
          f# f x -> f# d f x}
  TRS:
  {g c(x, s y) -> g c(s x, y),
           f x -> x,
   f c(s x, y) -> f c(x, s y),
         f f x -> f d f x}
  UR:
   {        f x -> x,
    f c(s x, y) -> f c(x, s y),
          f f x -> f d 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:
       {g c(x, s y) -> g c(s x, y),
                f x -> x,
        f c(s x, y) -> f c(x, s y),
              f f x -> f d f x}
       Open
      
      SCC (1):
       Strict:
        {f# c(s x, y) -> f# c(x, s y)}
       Weak:
       {g c(x, s y) -> g c(s x, y),
                f x -> x,
        f c(s x, y) -> f c(x, s y),
              f f x -> f d f x}
       Open