No, the vector has still its old size. The thing that I wanted to
benchmark is the difference of between a vector which grows to its
own capacity (first timing) vs. a pre-grown vector (second timing).
On Linux the performance-difference is significant.