OpenAI Five Benchmark

The OpenAI Five Benchmark match is now over!