MAYBE
Time: 0.001155
TRS:
 {    msort nil() -> nil(),
    msort .(x, y) -> .(min(x, y), msort del(min(x, y), .(x, y))),
    min(x, nil()) -> x,
  min(x, .(y, z)) -> if(<=(x, y), min(x, z), min(y, z)),
    del(x, nil()) -> nil(),
  del(x, .(y, z)) -> if(=(x, y), z, .(y, del(x, z)))}
 DP:
  DP:
   {  msort# .(x, y) -> msort# del(min(x, y), .(x, y)),
      msort# .(x, y) -> min#(x, y),
      msort# .(x, y) -> del#(min(x, y), .(x, y)),
    min#(x, .(y, z)) -> min#(x, z),
    min#(x, .(y, z)) -> min#(y, z),
    del#(x, .(y, z)) -> del#(x, z)}
  TRS:
  {    msort nil() -> nil(),
     msort .(x, y) -> .(min(x, y), msort del(min(x, y), .(x, y))),
     min(x, nil()) -> x,
   min(x, .(y, z)) -> if(<=(x, y), min(x, z), min(y, z)),
     del(x, nil()) -> nil(),
   del(x, .(y, z)) -> if(=(x, y), z, .(y, del(x, z)))}
  EDG:
   {(min#(x, .(y, z)) -> min#(x, z), min#(x, .(y, z)) -> min#(y, z))
    (min#(x, .(y, z)) -> min#(x, z), min#(x, .(y, z)) -> min#(x, z))
    (del#(x, .(y, z)) -> del#(x, z), del#(x, .(y, z)) -> del#(x, z))
    (msort# .(x, y) -> msort# del(min(x, y), .(x, y)), msort# .(x, y) -> del#(min(x, y), .(x, y)))
    (msort# .(x, y) -> msort# del(min(x, y), .(x, y)), msort# .(x, y) -> min#(x, y))
    (msort# .(x, y) -> msort# del(min(x, y), .(x, y)), msort# .(x, y) -> msort# del(min(x, y), .(x, y)))
    (msort# .(x, y) -> min#(x, y), min#(x, .(y, z)) -> min#(x, z))
    (msort# .(x, y) -> min#(x, y), min#(x, .(y, z)) -> min#(y, z))
    (min#(x, .(y, z)) -> min#(y, z), min#(x, .(y, z)) -> min#(x, z))
    (min#(x, .(y, z)) -> min#(y, z), min#(x, .(y, z)) -> min#(y, z))
    (msort# .(x, y) -> del#(min(x, y), .(x, y)), del#(x, .(y, z)) -> del#(x, z))}
   STATUS:
    arrows: 0.694444
    SCCS (3):
     Scc:
      {msort# .(x, y) -> msort# del(min(x, y), .(x, y))}
     Scc:
      {min#(x, .(y, z)) -> min#(x, z),
       min#(x, .(y, z)) -> min#(y, z)}
     Scc:
      {del#(x, .(y, z)) -> del#(x, z)}
     
     SCC (1):
      Strict:
       {msort# .(x, y) -> msort# del(min(x, y), .(x, y))}
      Weak:
      {    msort nil() -> nil(),
         msort .(x, y) -> .(min(x, y), msort del(min(x, y), .(x, y))),
         min(x, nil()) -> x,
       min(x, .(y, z)) -> if(<=(x, y), min(x, z), min(y, z)),
         del(x, nil()) -> nil(),
       del(x, .(y, z)) -> if(=(x, y), z, .(y, del(x, z)))}
      Open
     
     SCC (2):
      Strict:
       {min#(x, .(y, z)) -> min#(x, z),
        min#(x, .(y, z)) -> min#(y, z)}
      Weak:
      {    msort nil() -> nil(),
         msort .(x, y) -> .(min(x, y), msort del(min(x, y), .(x, y))),
         min(x, nil()) -> x,
       min(x, .(y, z)) -> if(<=(x, y), min(x, z), min(y, z)),
         del(x, nil()) -> nil(),
       del(x, .(y, z)) -> if(=(x, y), z, .(y, del(x, z)))}
      Open
     
     SCC (1):
      Strict:
       {del#(x, .(y, z)) -> del#(x, z)}
      Weak:
      {    msort nil() -> nil(),
         msort .(x, y) -> .(min(x, y), msort del(min(x, y), .(x, y))),
         min(x, nil()) -> x,
       min(x, .(y, z)) -> if(<=(x, y), min(x, z), min(y, z)),
         del(x, nil()) -> nil(),
       del(x, .(y, z)) -> if(=(x, y), z, .(y, del(x, z)))}
      Open