They really would. I feel like kaggle is mostly teams slowly grinding for very small incremental improvements over each other. Adding a time component would really sort the wheat from the chaff.
Metrics for scoring: error/cost/fitness, time to solution (t), dollars to solution ($), resources in terms of {carbon, kWh, USD,}, costs in terms of costed opcodes,
Whether there's a logically plausible causal explanation (for quickly-discovered probably just associative relations)
I think it is safe to assume that only Microsoft Excel is allowed. The features they listed are all built in features.
Kaggle speed runs as a sport would be interesting.