MAYBE
Time: 0.002631
TRS:
 {cond(y, x, y) -> s minus(x, s y),
    min(u, 0()) -> 0(),
  min(s u, s v) -> s min(u, v),
    min(0(), v) -> 0(),
    minus(x, y) -> cond(min(x, y), x, y)}
 DP:
  DP:
   {cond#(y, x, y) -> minus#(x, s y),
    min#(s u, s v) -> min#(u, v),
      minus#(x, y) -> cond#(min(x, y), x, y),
      minus#(x, y) -> min#(x, y)}
  TRS:
  {cond(y, x, y) -> s minus(x, s y),
     min(u, 0()) -> 0(),
   min(s u, s v) -> s min(u, v),
     min(0(), v) -> 0(),
     minus(x, y) -> cond(min(x, y), x, 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:
      {cond#(y, x, y) -> minus#(x, s y),
         minus#(x, y) -> cond#(min(x, y), x, y)}
     Scc:
      {min#(s u, s v) -> min#(u, v)}
     
     SCC (2):
      Strict:
       {cond#(y, x, y) -> minus#(x, s y),
          minus#(x, y) -> cond#(min(x, y), x, y)}
      Weak:
      {cond(y, x, y) -> s minus(x, s y),
         min(u, 0()) -> 0(),
       min(s u, s v) -> s min(u, v),
         min(0(), v) -> 0(),
         minus(x, y) -> cond(min(x, y), x, y)}
      Open
     
     SCC (1):
      Strict:
       {min#(s u, s v) -> min#(u, v)}
      Weak:
      {cond(y, x, y) -> s minus(x, s y),
         min(u, 0()) -> 0(),
       min(s u, s v) -> s min(u, v),
         min(0(), v) -> 0(),
         minus(x, y) -> cond(min(x, y), x, y)}
      Open