This example gives best results for the strategy NONE using kbo-A. The values for NONE and I-ALL are the same for all orderings except the length-lexicographical one. Here, too, for different strategies different orderings are optimal.
