SUCCESS
46.71 (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(x1, i(x2)), x2) -> x1,
          f(e(), x0) -> x0,
        f(i(x2), x2) -> e(),
        i(f(y0, z0)) -> f(i(z0), i(y0)),
              i(e()) -> e(),
            i(i(x2)) -> x2



STATISTICS

total time:   46.71
termination:  45.52

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