Besides the method used to compute cosets the ordering plays an important role.
Example was computed using 669 different orderings.
The maximal/total number of cosets computed varied from
1728/1756 to 13560/14941 using method (4).
Even for orderings which seemed to be ''similar'' the number of cosets was
quite different.
Table
shows the maximal and the total number of
cosets for example
using a Knuth-Bendix ordering with the
respective weights attached to the letters of the alphabet.