SUCCESS
0.09 (total time)


COMPLETED TRS

  plus(x, z()) -> x,
 plus(x, s(y)) -> s(plus(x, y))


STATISTICS

number of inference steps: 3 

total time:   0.09
orient:       0.09
rewrite:      0.00
deduce:       0.00
termination:  0.09

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