ところで本家DivXのエンコーダーって、エンコードにかかる速度はどうなんでしょうか?