Sadly the 940 EVO doesn't include any information about WAF or Average Block Erase Count. They wouldn't even give the press an estimated TBW endurance rating when the product was released as it was the first mainstream product to use TLC. The 840 also used TLC, but wasn't really a big seller like the 840 EVO.Your calculations of erase cycles appear to neglect write amplification. Did you look at the actual Average Block Erase Count in your 250GB ssd that has 94% remaining? Is that SMART attribute available?
I just based it off the writes made so far and the endurance remaining. Which as you said is not correct, but it's all I have to go on. The "wear leveling count" indicator reads "62" and the threshold value is set to 0 and the current value is 94, which is the health rating of the SSD according to HD Sentinel.