I measured the bike in my shed. It's a novara amiga. Effective top tube on it is 500 mm, so 40 mm less than my ti mountain bike. Which probably means that it's not going to be a frame I'm keeping long term.

So, at least once there was a mountain bike with a 500 mm top tube.