SUCCESS
13.39 (total time)


COMPLETED TRS

 
         le(0(), y0) -> true(),
      le(s(x0), 0()) -> false(),
    le(s(x0), s(y0)) -> le(x0, y0),
  if(true(), x0, y0) -> cons(x0, if(le(s(x0), y0), s(x0), y0)),
 if(false(), x0, y0) -> nil(),
         int(x0, y0) -> if(le(x0, y0), x0, y0)



STATISTICS

total time:   13.39
termination:  13.35

external termination prover: ././aprove07
calls to termination prover: 8 (yes: 8, timeouts: 0)
time limit per call:         5.0