SUCCESS 14.40 (total time) COMPLETED TRS le(0(), x) -> true(), le(s(x), 0()) -> false(), le(s(x), s(y)) -> le(x, y), if(true(), x, y) -> cons(x, if(le(s(x), y), s(x), y)), if(false(), x, y) -> nil(), int(x, y) -> if(le(x, y), x, y) STATISTICS number of inference steps: 7 total time: 14.40 orient: 14.39 rewrite: 0.00 deduce: 0.01 termination: 14.37 external termination prover: ././aprove07 calls to termination prover: 9 (yes: 8, timeouts: 0) time limit per call: 5.0