What kind of fixtures are these? If a 90 watt LED fixture gives less light than a 100 watt HPS fixture, they must be using unbelievably terrible LED fixtures, considering here they replace 100 watt HPS with around 50 watts LED and get more useful light on the road.
I stated in the OP that I wasn't using real world figures, it was just a hypothetical setting to make the mathematics easier on my brain cell. Whatever the fixtures they have here were used, in our opinion whoever 'designed' the installation should be ashamed of themselves.