SUCCESS 22.25 (total time) COMPLETED TRS h(one()) -> one(), i(h(x2)) -> h(i(x2)), i(i(x2)) -> x2, i(one()) -> one(), i(*(x0, y0)) -> *(i(y0), i(x0)), *(h(x0), h(y0)) -> h(*(x0, y0)), *(h(x0), *(h(y0), z1)) -> *(h(*(x0, y0)), z1), *(i(x0), *(x0, z1)) -> z1, *(i(x0), x0) -> one(), *(one(), y0) -> y0, *(*(x0, y0), z0) -> *(x0, *(y0, z0)), *(x2, i(x2)) -> one(), *(x0, one()) -> x0, *(x0, *(i(x0), z3)) -> z3 STATISTICS total time: 22.25 termination: 10.50 external termination prover: ttt2fast calls to termination prover: 105 (yes: 104, timeouts: 0) timelimit per call: 5.0