Below is the supporting data for our paper Empirical Properties of Term Orderings for Superposition.

1. •E-2.6dev007.tgz is the source distribution of E that can be used to rerun individual experiments (note that the package unpacks into a directory called just “E”).
   

2. •ALL.tgz contains the full set of experimental results discussed in the paper.