MAYBE
Time: 0.104868
TRS:
 {cond(true(), x, y) -> cond(gr(x, y), p x, y),
          gr(0(), x) -> false(),
        gr(s x, 0()) -> true(),
        gr(s x, s y) -> gr(x, y),
               p 0() -> 0(),
               p s x -> x}
 DP:
  DP:
   {cond#(true(), x, y) -> cond#(gr(x, y), p x, y),
    cond#(true(), x, y) -> gr#(x, y),
    cond#(true(), x, y) -> p# x,
          gr#(s x, s y) -> gr#(x, y)}
  TRS:
  {cond(true(), x, y) -> cond(gr(x, y), p x, y),
           gr(0(), x) -> false(),
         gr(s x, 0()) -> true(),
         gr(s x, s y) -> gr(x, y),
                p 0() -> 0(),
                p s x -> x}
  EDG:
   {(gr#(s x, s y) -> gr#(x, y), gr#(s x, s y) -> gr#(x, y))
    (cond#(true(), x, y) -> gr#(x, y), gr#(s x, s y) -> gr#(x, y))
    (cond#(true(), x, y) -> cond#(gr(x, y), p x, y), cond#(true(), x, y) -> cond#(gr(x, y), p x, y))
    (cond#(true(), x, y) -> cond#(gr(x, y), p x, y), cond#(true(), x, y) -> gr#(x, y))
    (cond#(true(), x, y) -> cond#(gr(x, y), p x, y), cond#(true(), x, y) -> p# x)}
   STATUS:
    arrows: 0.687500
    SCCS (2):
     Scc:
      {cond#(true(), x, y) -> cond#(gr(x, y), p x, y)}
     Scc:
      {gr#(s x, s y) -> gr#(x, y)}
     
     SCC (1):
      Strict:
       {cond#(true(), x, y) -> cond#(gr(x, y), p x, y)}
      Weak:
      {cond(true(), x, y) -> cond(gr(x, y), p x, y),
               gr(0(), x) -> false(),
             gr(s x, 0()) -> true(),
             gr(s x, s y) -> gr(x, y),
                    p 0() -> 0(),
                    p s x -> x}
      Open
     
     
     SCC (1):
      Strict:
       {gr#(s x, s y) -> gr#(x, y)}
      Weak:
      {cond(true(), x, y) -> cond(gr(x, y), p x, y),
               gr(0(), x) -> false(),
             gr(s x, 0()) -> true(),
             gr(s x, s y) -> gr(x, y),
                    p 0() -> 0(),
                    p s x -> x}
      Open