SUCCESS
94.99 (total time)


COMPLETED TRS

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


STATISTICS

number of inference steps: 50 

total time:   94.99
orient:       53.94
rewrite:      36.70
deduce:       4.03
termination:  53.36

termination checked internally with ttt2fast
termination checks: 166 (yes: 74, timeouts: 47)
timelimit per check: 0.7