An analysis of formulations for the capacitated lot sizing problem with setup crossover

•The lot sizing problem with capacity constraints and setup crossover was studied.•We compare the two formulations proposed in the literature.•We propose new constraints to break the symmetry in the formulations from the literature.•We analyze the impact of the proposed adaptations of the formulations.•We analyze the factors that have an impact on the benefits of allowing a setup crossover.