SUCCESS
12.34 (total time)


COMPLETED TRS

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



STATISTICS

number of inference steps: 20 

total time:   12.34
orient:       9.74
rewrite:      2.23
deduce:       0.26
termination:  9.18

termination checked internally with ttt2fast
termination checks: 271 (yes: 214, timeouts: 0)
timelimit per check: 0.7