\begin{table}%t5 \caption{\label{table:mean_radius}Mean planet radius for cool versus hot stars.} \small %\centering \par \begin{tabular}{ccc} \hline\hline & Cool stars & Hot stars \\ & $T_{\rm eff}< 5400$~K & $T_{\rm eff} \ge 5400$~K\\ \hline ``Real'' planets & $1.072~R_{\rm Jup}$ & $1.267~R_{\rm Jup}$ \\ \hline All simulated planets & $1.058~R_{\rm Jup}$ & $1.202~R_{\rm Jup}$ \\ Detectable simulated planets & $1.074~R_{\rm Jup}$ & $1.251~R_{\rm Jup}$\\ \hline \end{tabular} \end{table}