Thanks for publishing the leaderboard guys!

It is helping me a lot to find better settings for my bot to run, finally a way to compare with other gunbot users.