Line-girder analyses like Merlin-Dash, and probably Bar7, (never used LARS) use the "S-over" live load distribution factors as you've noted. As you've also noted, grid and finite-element analyses, such as MDX, DESCUS, etc., are considered by AASHTO to be a "refined analysis" and they may...