Term Orderings


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.