SUCCESS 2.83 (total time) COMPLETED TRS e(d(x)) -> d(d(d(d(e(x))))), e(c(x)) -> d(d(d(d(e(x))))), d(d(d(d(d(x))))) -> d(d(d(d(x)))), d(d(d(c(x)))) -> d(d(d(d(x)))), c(d(x)) -> d(d(d(d(x)))), c(c(x)) -> d(d(d(x))), a(x) -> d(d(d(d(x)))), b(x) -> d(d(x)) STATISTICS number of inference steps: 14 total time: 2.83 orient: 1.58 rewrite: 1.13 deduce: 0.09 termination: 1.54 termination checked internally with ttt2fast termination checks: 47 (yes: 33, timeouts: 0) timelimit per check: 0.7