@GianlucaM83
Thanks for the benchmarks, your SD card is doing on average (88 + 82 + 85.5) / 3 = ~85 MB/s which is close to 83.7 MB/s from camera.
If we exclude CrystalDiskMark, (82 + 85.5) / 2 = 83.7 MB/s. Well, I don't think this is an accurate way to do measurements, also because SD card frequency is unknown using PC card reader.
Last suggested test:
Perform low level format in camera, do benchmarks in Play mode at 240 MHz.
But anyway, in all cases 240 MHz is working fine here, the slower write speed in 240 MHz could be from your SD card or your 100D.
The only accurate way to verify is to test another Sandisk 170 MB/s SD card on your 100D and test your current Sandisk 170 MB/s SD card on other DIGIC 5 model at 240 MHz.