The OpenAI Five Benchmark match is now over!