MAYBE
Time: 0.000640
TRS:
 {            f X -> n__f X,
            f 0() -> cons(0(), n__f s 0()),
          f s 0() -> f p s 0(),
          p s 0() -> 0(),
       activate X -> X,
  activate n__f X -> f X}
 DP:
  DP:
   {        f# s 0() -> f# p s 0(),
            f# s 0() -> p# s 0(),
    activate# n__f X -> f# X}
  TRS:
  {            f X -> n__f X,
             f 0() -> cons(0(), n__f s 0()),
           f s 0() -> f p s 0(),
           p s 0() -> 0(),
        activate X -> X,
   activate n__f X -> f X}
  EDG:
   {(activate# n__f X -> f# X, f# s 0() -> p# s 0())
    (activate# n__f X -> f# X, f# s 0() -> f# p s 0())
    (f# s 0() -> f# p s 0(), f# s 0() -> f# p s 0())
    (f# s 0() -> f# p s 0(), f# s 0() -> p# s 0())}
   STATUS:
    arrows: 0.555556
    SCCS (1):
     Scc:
      {f# s 0() -> f# p s 0()}
     
     
     SCC (1):
      Strict:
       {f# s 0() -> f# p s 0()}
      Weak:
      {            f X -> n__f X,
                 f 0() -> cons(0(), n__f s 0()),
               f s 0() -> f p s 0(),
               p s 0() -> 0(),
            activate X -> X,
       activate n__f X -> f X}
      Open