SUCCESS
73.61 (total time)


COMPLETED TRS


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


STATISTICS

total time:   73.61
termination:  70.56

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