SUCCESS
557.79 (total time)


COMPLETED TRS

 
                                  c(x) -> d(d(d(d(x)))),
                                  b(x) -> d(d(d(d(d(x))))),
                                  e(x) -> d(d(d(x))),
                                  a(x) -> d(d(d(d(d(d(d(d(d(x))))))))),
 d(d(d(d(d(d(d(d(d(d(d(d(x)))))))))))) -> d(x)



STATISTICS

number of inference steps: 141 

total time:   557.79
orient:       163.09
rewrite:      377.28
deduce:       11.80
termination:  145.73

termination checked internally with ttt2fast
termination checks: 1406 (yes: 933, timeouts: 5)
timelimit per check: 0.7