SUCCESS 201.84 (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: 201.84 termination: 194.03 external termination prover: aprove07 calls to termination prover: 105 (yes: 105, timeouts: 0) time limit per call: 5.0