SUCCESS
7.08 (total time)


COMPLETED TRS

   plus(x0, z()) -> x0,
 plus(x0, s(y0)) -> s(plus(x0, y0))


STATISTICS

total time:   7.08
termination:  7.08

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