An Isabelle/HOL Formalization of Rewriting 
for Certified Tool Assertions 

Experiments

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