In fs.py and se.py, those are selectable with the --cpu-type option.
TODO are there any public performance correlations between those models and real cores?
+TODO are there any public performance correlations between those models and real cores? The information to make accurate models isn’t generally public for non-free CPUs, so either you must either rely vendor provided models or on experiments/reverse engineering.