SUCCESS
9.97 (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:   9.97
termination:  6.49

external termination prover: ttt2fast
calls to termination prover: 86 (yes: 85, timeouts: 0)
timelimit per call:          1.0