SUCCESS 17.46 (total time) COMPLETED TRS /(x0, y0) -> *(y0, x0), \(x0, y0) -> *(y0, x0), *(*(y0, x0), y0) -> x0, *(x0, *(y0, x0)) -> y0 STATISTICS total time: 17.46 termination: 17.44 external termination prover: aprove07 calls to termination prover: 13 (yes: 13, timeouts: 0) timelimit per call: 1.0