SUCCESS
12.08 (total time)


COMPLETED TRS

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



STATISTICS

total time:   12.08
termination:  12.06

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