Running 36 36 R1-distilled leaderboard ⚡ Generate a leaderboard for open-r1 models based on benchmarks