MAYBE
Time: 0.010687
TRS:
 {  p s x -> x,
  fac s x -> times(s x, fac p s x),
  fac 0() -> s 0()}
 DP:
  DP:
   {fac# s x -> p# s x,
    fac# s x -> fac# p s x}
  TRS:
  {  p s x -> x,
   fac s x -> times(s x, fac p s x),
   fac 0() -> s 0()}
  UR:
   {p s x -> x}
   EDG:
    {(fac# s x -> fac# p s x, fac# s x -> p# s x)
     (fac# s x -> fac# p s x, fac# s x -> fac# p s x)}
    STATUS:
     arrows: 0.500000
     SCCS (1):
      Scc:
       {fac# s x -> fac# p s x}
      
      SCC (1):
       Strict:
        {fac# s x -> fac# p s x}
       Weak:
       {  p s x -> x,
        fac s x -> times(s x, fac p s x),
        fac 0() -> s 0()}
       Fail