An Isabelle/HOL Formalization of Rewriting 
for Certified Termination Analysis 

Experiments

In the following we give some experimental results for different versions of CeTA.