Smtml.Regression_model_default
val default_models : (string * Smtzilla_utils.Regression_model.t) list