Yeah, because they are clever enough to know it is faster than walking through as a mass and continuously pushing each other off 
By the way, it is quite hard to find the balance among:
- good looking formation,
- realistic formation behavior (which sometimes looks really stupid),
- performance optimized behavior,
with good enough cohesion/separation to provide a game ready solution…