NO
Rewrite Rules:
   [ min(0,?y) -> 0,
     min(?x,0) -> 0,
     min(s(?x),s(?y)) -> min(?x,?y),
     min(?x,?x) -> ?x ]
Apply Direct Methods...
Inner CPs:
   [  ]
Outer CPs:
   [ 0 = 0,
     0 = 0,
     0 = 0,
     min(?y_2,?y_2) = s(?y_2) ]
Overlay, check Innermost Termination...
Innermost Terminating (hence Terminating), not WCR
Knuth & Bendix
Direct Methods: not CR

Final result: not CR
new/min5.trs: Success(not CR)
(3 msec.)