Wow, that above formula is way better than my method. More work, but probably better. From now on though I'm bottle carbing every big beer with a half pack of champagne yeast. After this problem the first time I don't want to mess with it anymore and used champagne yeast twice at bottling, once for a 13% barleywine and again for a 9.5% RIS and each carbed up in a little over a week.
What I listed above is for fixing a batch that's bottled and not carbonating (even with long storage at 70F). I hope to never need to do that again because there's a lot of waiting and wasted sweetened beer.
I'm almost at the point of adding fresh yeast every beer I bottle for consitent carbonating time and less time stored at bottle carbonation temperatures. I gelatin many beers (when appropriate to the style) in primary/secondary and reyeasting gives a very professional dusting of yeast. Champagne yeast seems like cheap insurance for high gravity beers. Here is another set of procedures for using gelatin in primary/secondary and adding rehydrated dry yeast in a bottling bucket:
Gelatin Procedures (example is for a 3.5 gallon batch):
Cold crash beer for 24 hours
Mix 3.25 gram (1 gram per gallon of finished beer) Knox unflavored gelatin in 4 fl oz of room temperature water
(Note: Measure by weighing full package and add gradually and keep weighing)
Rehydrate for at least 10 min.
Heat to 160F, do not boil!
Add to cold crashed beer, gentle swirl fermenter.
Re-yeasting Procedures (example is for a 3.5 gallon batch):
Yeasting dosing rate: 1 million cells/1 mL of finished beer.
20.0e9 yeast cells/gram of dry yeast.
3.25 gal = 12,303 mL
1.0e6 = 20.0e9*x/12,303, x = 0.62 grams of dry yeast
Boil 4 oz of spring water in 4 qt measuring cut, chill to 80F
Sprinkle 1.25g dry yeast on water surface and cover with plastic wrap, let sit for 15 min
(Note: Measure by weighing full package and add gradually and keep weighing)
Stir yeast, pitch 50% of prepared yeast into bottling bucket during the transfer