I would say that neither the red or blue Raleighs are a size 57cm (more like 59-62). That said, several of my vintage bikes are larger than my newer ones.

Measure your cycling inseam and find out the standover height. With an inch of clearance you are good to go, less than an inch may become problematic in certain dismount situations.