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