Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case

Color refinement is a crucial subroutine in symmetry detection in theory as well as practice. It has further applications in machine learning and in computational problems from linear algebra.