SUCCESS 0.82 (total time) COMPLETED TRS /(x, y) -> *(y, x), \(x, y) -> *(y, x), *(*(x, y), x) -> y, *(x, *(y, x)) -> y STATISTICS number of inference steps: 12 total time: 0.82 orient: 0.76 rewrite: 0.01 deduce: 0.04 termination: 0.76 external termination prover: ttt2fast calls to termination prover: 8 (yes: 8, timeouts: 0) timelimit per call: 1.0