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