SUCCESS
36.94 (total time)


COMPLETED TRS


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


STATISTICS

total time:   36.94
termination:  33.90

external termination prover: ttt2fast
calls to termination prover: 248 (yes: 195, timeouts: 0)
timelimit per call:          1.0