Those calcs are accurate to what I've run, so I'd say they are fine. The one small caveat I'd make is to account for accuracy in them, since that will be a factor in whether or not Icicle Crash connects.
So for Gyarados, Icicle Crash would have an 81% chance to 2HKO, with it missing at least...