It was a flash crash and only a few platforms registered it. Something very similar had happened with BTC, if I remember correctly and the honest platforms did compensate for that.
So, if your stop loss got activated you should contact your broker and if he doesn't want to compensate then I would recommend changing it.