Efficient characteristic refinements for finite groups. (May 2017)