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