A ranking of the best minesweeper players in the world