YES
Time: 0.001248
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))}
    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))}
     EDG:
      {}
      EDG:
       {}
       STATUS:
        arrows: 1.000000
        SCCS (0):