SUCCESS
163.51 (total time)


COMPLETED TRS


           *(x0, y0) -> d(x0, i(y0)),
            i(i(y0)) -> y0,
            i(one()) -> one(),
        i(d(z1, x0)) -> d(x0, z1),
        d(one(), y0) -> i(y0),
 d(d(x3, i(y0)), y0) -> x3,
 d(d(x1, y0), i(y0)) -> x1,
    d(x2, d(x1, y0)) -> d(d(x2, i(y0)), x1),
        d(y0, one()) -> y0,
           d(x0, x0) -> one()


STATISTICS

total time:   163.51
termination:  161.11

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