I was required to land on the 757 at autobrakes 4. I always overrode them once on the ground at TGU. You could make more braking action, same as max, by using manual brakes if needed.
If they landed almost half way down the runway for some reason then it probably didn't matter much how they used their brakes or reversers. If the NTSB concurs about their touchdown report of 4100 ft. guess that is how it happened.