Stockfish 7 for Windows comes with 3 64-bit binaries:

* `stockfish 7 x64 bmi2.exe`
* `stockfish 7 x64 popcnt.exe`
* `stockfish 7 x64.exe`

All 3 of them work on my system. Which one gives the best performance?