You're thinking about it wrong. In both scenarios, the starting length should be the full 13" of the non compressed spring. Then both scenarios end with the 7" compressed spring. The difference is the perch height of the bottom of the spring, and where you're temporarily holding the top of the spring (ie, assembled strut). The spring has a linear coefficient, and in both cases is supporting the exact same force. When it reaches the compressed length.
The spring does not get stiffer simply because you're starting from a more compressed state...
I feel I should clarify... As the two struts are assembled, the 5100s strut assembly is more load on the spring. Once vehicle weight is added, however, they both reach the same compression and are at equal levels of compressive force. The lift height is directly from the modified perch height, not the preload.