MAYBE
Time: 0.028186
TRS:
 {f s x -> s f f p s x,
  f 0() -> 0(),
  p s x -> x}
 DP:
  DP:
   {f# s x -> f# f p s x,
    f# s x -> f# p s x,
    f# s x -> p# s x}
  TRS:
  {f s x -> s f f p s x,
   f 0() -> 0(),
   p s x -> x}
  EDG:
   {(f# s x -> f# f p s x, f# s x -> f# f p s x)
    (f# s x -> f# f p s x, f# s x -> f# p s x)
    (f# s x -> f# f p s x, f# s x -> p# s x)
    (f# s x -> f# p s x, f# s x -> f# f p s x)
    (f# s x -> f# p s x, f# s x -> f# p s x)
    (f# s x -> f# p s x, f# s x -> p# s x)}
   STATUS:
    arrows: 0.333333
    SCCS (1):
     Scc:
      {f# s x -> f# f p s x,
       f# s x -> f# p s x}
     
     SCC (2):
      Strict:
       {f# s x -> f# f p s x,
        f# s x -> f# p s x}
      Weak:
      {f s x -> s f f p s x,
       f 0() -> 0(),
       p s x -> x}
      Open