We describe a general framework for constructing synchronizing algorithms.
We design currently the best heuristic polynomial synchronizing algorithm.
Detailed analysis shows impact of various parameters on the results.
Experiments are conducted on much larger automata than in other studies up to date.