SUCCESS 0.24 (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: 0.24 termination: 0.23 external termination prover: ttt2fast calls to termination prover: 8 (yes: 8, timeouts: 0) time limit per call: 1.0