at least some people reading this forum should have access to a MKR1000 board.
Please run the sketch attached to this thread http://forum.arduino.cc/index.php?topic=391511.0
and report the numbers (for -Os size optimized default and -O3 optimized, you can change in Arduino IDE platform.txt) in this thread http://forum.arduino.cc/index.php?topic=397480.msg2740647#msg2740647
for comparison of >16MHz Arduino models (and ESP8266-12E) pure integer computing performance on a single sample. I have determined the numbers for Arduino Due and ESP8266-12E already.
Thanks for your support,