“…While complexity analysis of term rewriting is well studied (e.g., [3,4,5,6,7,9,11,13,15,16,17,18,19,20,21,22,26]), the results of the annual Termination Competition [24] show that automatic techniques to infer upper bounds for rc are still substantially weaker than corresponding techniques for irc. 899 examples were analyzed for both rc and irc at the Termination Competitions 2015 and 2016.…”