Material for the performance evaluation

This release includes the files needed to reproduce the performance evaluations in Section 8.6 and Chapter 10 of the PhD thesis "Model checking of strategy-controlled systems in rewriting logic".