WD mass as a function of WD cooling time. The hatched region between the two broad grey curves represents the range of WD temperatures as derived from Fig. 10. The black vertical line is the main sequence lifetime of a 1.7 M_⊙ star, and therefore the WD cooling time upper limit. The zone to the left of the vertical dashed lines are the maximal cooling times for WD’s with respective colour-coded progenitor masses. The horizontal dotted lines represent the WD inital-final-mass relation for the respective colour-coded progenitor masses (5.0 M_⊙ is outside of the y-range of the plot). The blue and green dot represent WD masses that would have had enough time to cool to reach a temperature between 6000 K and 8000 K.