Additional Information in the Leaderboards

[jochenstu]

Issue

I think it would be useful to have the following information displayed in the Leaderboards:

• Date of benchmark
• Cost (at the time it was conducted)
• Time to run

What to maybe lose: I am not sure how much use the "Percent using correct edit format" is doing for most people looking at the Leaderboards. Personally I am not sure how to discern that to "Percent completed correctly".

Version and model info

No response