MAYBE
Time: 0.000744
TRS:
 {  p(m, n, s r) -> p(m, r, n),
  p(m, s n, 0()) -> p(0(), n, m),
  p(m, 0(), 0()) -> m}
 DP:
  DP:
   {  p#(m, n, s r) -> p#(m, r, n),
    p#(m, s n, 0()) -> p#(0(), n, m)}
  TRS:
  {  p(m, n, s r) -> p(m, r, n),
   p(m, s n, 0()) -> p(0(), n, m),
   p(m, 0(), 0()) -> m}
  UR:
   {}
   EDG:
    {(p#(m, n, s r) -> p#(m, r, n), p#(m, s n, 0()) -> p#(0(), n, m))
     (p#(m, n, s r) -> p#(m, r, n), p#(m, n, s r) -> p#(m, r, n))
     (p#(m, s n, 0()) -> p#(0(), n, m), p#(m, n, s r) -> p#(m, r, n))
     (p#(m, s n, 0()) -> p#(0(), n, m), p#(m, s n, 0()) -> p#(0(), n, m))}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {  p#(m, n, s r) -> p#(m, r, n),
        p#(m, s n, 0()) -> p#(0(), n, m)}
      
      SCC (2):
       Strict:
        {  p#(m, n, s r) -> p#(m, r, n),
         p#(m, s n, 0()) -> p#(0(), n, m)}
       Weak:
       {  p(m, n, s r) -> p(m, r, n),
        p(m, s n, 0()) -> p(0(), n, m),
        p(m, 0(), 0()) -> m}
       Open