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