Philipp's idea for improving the speed of Mealy minimization
Use the preprocessing of SAT (compute the variation matrix) to detect the potential number of state a reduction might remove, and skip any reduction (BWOA or SAT) in case the number of state to gain is negligible.