SUCCESS
0.10 (total time)


COMPLETED TRS

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


STATISTICS

total time:   0.10
termination:  0.10

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