## Labelings for Decreasing Diagrams

This page provides an empirical evaluation of decreasing diagrams for proving confluence.

The table headers correspond to the following methods:

- rl : rule_labeling
- dup : Corollary 3.16
- star : Corollary 3.25 with labeling from Lemma 3.24
- sstar : Corollary 3.25 with labeling from Lemma 3.27