Přišlo mi, že ty vegasácký WMV (Windows Media Video) renderovaly docela rychle. Nejlepší je ale stále AVC. Nesmíte brát, že volba formátu záleží na velikosti. Velikosti videí budou vždy +- srovnatelné, když je podobně nastavíte. Zkuste WMV, nějaké profily tam jsou, případně AVC s nějakým rozumným datovým tokem (prostě vemte minutu, nastavte, mkrněte na kvalitu a velikost a vynásobte 42).