Strategy P-R together with the ordering kbo-B enumerates 43703/52149 cosets (maximal/total) and thus performs best of all combinations computed. Compared with the best Felsch method it still performs about two times worse.
