MAYBE
Time: 0.002216
TRS:
 {  f(X, X) -> c X,
  f(X, c X) -> f(s X, X),
  f(s X, X) -> f(X, a X)}
 DP:
  DP:
   {f#(X, c X) -> f#(s X, X),
    f#(s X, X) -> f#(X, a X)}
  TRS:
  {  f(X, X) -> c X,
   f(X, c X) -> f(s X, X),
   f(s X, X) -> f(X, a X)}
  EDG:
   {(f#(s X, X) -> f#(X, a X), f#(s X, X) -> f#(X, a X))
    (f#(X, c X) -> f#(s X, X), f#(X, c X) -> f#(s X, X))
    (f#(X, c X) -> f#(s X, X), f#(s X, X) -> f#(X, a X))}
   STATUS:
    arrows: 0.250000
    SCCS (2):
     Scc:
      {f#(X, c X) -> f#(s X, X)}
     Scc:
      {f#(s X, X) -> f#(X, a X)}
     
     SCC (1):
      Strict:
       {f#(X, c X) -> f#(s X, X)}
      Weak:
      {  f(X, X) -> c X,
       f(X, c X) -> f(s X, X),
       f(s X, X) -> f(X, a X)}
      Open
     SCC (1):
      Strict:
       {f#(s X, X) -> f#(X, a X)}
      Weak:
      {  f(X, X) -> c X,
       f(X, c X) -> f(s X, X),
       f(s X, X) -> f(X, a X)}
      Open