Statistics - Miners (IOI07_miners)