Sodele,

hier meine Messwerte mit der aktuellen Teensyduino 1.42 auf Arduino 1.8.5, jeweils mit den Default-Einstellungen der IDE für Taktfrequenz und Optimierung:

Code:
Benchmark for Teensy 3.2 96 MHz (Overclock) Optimize: Faster

  0      2819  int_Add
  1      1086  int_Mult
  2     45820  double_op
  2     23443  float_op
  3      1797  randomize
  4      3656  matrx_algb
  5      1523  arr_sort
  6      1955  GPIO toggle
Code:
Benchmark for Teensy 3.5 120 MHz Optimize: Faster

  0      2255  int_Add
  1       869  int_Mult
  2     32253  double_op
  2      2674  float_op
  3      1449  randomize
  4      2642  matrx_algb
  5      1231  arr_sort
  6      1838  GPIO toggle
Code:
Benchmark for Teensy 3.6 180 MHz Optimize: Faster

  0      1501  int_Add
  1       579  int_Mult
  2     15871  double_op
  2       955  float_op
  3       947  randomize
  4      1279  matrx_algb
  5       819  arr_sort
  6      1040  GPIO toggle
Der Teensy 3.2 hat keine FPU, das sieht man deutlich im float_op Ergebnis.
Die Werte für den 3.5 sind leicht anders, als oben gepostet, könnte an einer anderen Softwareversion liegen.
Der 3.6 ist das Topmodell u.a. mit viel größerem Cache, das sieht man bei einigen Ergebnissen.