Cumulative distribution of the binary masses (left) and the chirp masses (right). Top and bottom panels: results of the default and optimistic simulation setup, respectively. The solid red lines represent all formed double neutron star binaries in the simulation, which should be compared to the pulsar observations (solid black). The dashed black lines show the two reported merging events of neutron stars, which should be compared to the merging populations in the simulated data (dashed blue, dash dotted green, dash double-dotted purple).