SUCCESS 118.56 (total time) COMPLETED TRS a(x) -> x, b(x) -> x, c(x) -> x STATISTICS number of inference steps: 37 total time: 118.56 orient: 80.06 rewrite: 33.89 deduce: 3.55 termination: 77.99 external termination prover: ttt2fast calls to termination prover: 143 (yes: 80, timeouts: 0) timelimit per call: 1.0