SUCCESS
1.48 (total time)


COMPLETED TRS

 
    f(x0, f(y0, z0)) -> f(f(x0, y0), z0),
          f(x0, e()) -> x0,
        f(x0, i(x0)) -> e(),
 f(f(x1, x0), i(x0)) -> x1,
 f(f(x2, i(x0)), x0) -> x2,
          f(e(), x0) -> x0,
        f(i(x0), x0) -> e(),
        i(f(y0, x0)) -> f(i(x0), i(y0)),
              i(e()) -> e(),
            i(i(x0)) -> x0



STATISTICS

total time:   1.48
termination:  1.05

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