Yo he exportado en h.264 desde Premiere usando la opción nueva que sale cuando instalas el Nero 7 (nero digital). Sorenson no lo he probado, así que, ni idea, y me imagino que doctor divx con un archivo tan grande, es normal que se atragante, aunque claro, depende muchísimo de las variables.
Procoder normalmente es bastante flexible, pero no lo aconsejo para divx, a mí nunca me los ha sacado del todo bien.