We're (finally) getting our internet sorted tomorrow so I should be able to start running more battles again soon. Is there any reason I shouldn't set BATTLESPERBOT to something higher to get some of the newer melee bots caught up a bit?
Surely you can set this variable as large as possible, since most bots already had way more battles than this value. And there could be a pull request to robocode to change the default settings.
