SUCCESS 71.52 (total time) COMPLETED TRS div(div(x5, y0), y3) -> div(x5, div(y3, i(y0))), div(i(y0), div(x11, y0)) -> i(x11), div(i(y0), div(y15, div(y0, x11))) -> div(i(x11), y15), div(one(), y1) -> i(y1), div(x3, div(y15, div(i(x3), x5))) -> div(i(x5), y15), div(x3, div(x5, i(x3))) -> i(x5), div(y0, one()) -> y0, div(y0, y0) -> one(), i(div(x5, y6)) -> div(y6, x5), i(i(y0)) -> y0, i(one()) -> one(), *(x1, y0) -> div(x1, i(y0)) STATISTICS total time: 71.52 termination: 48.22 external termination prover: ttt2fast calls to termination prover: 304 (yes: 300, timeouts: 0) timelimit per call: 1.0