si ma ci metto 10 ore 
Come fai a metterci 10 ore per un video di 3 minuti?
Esce già in formato avi perché l'avi è un container, mentre xvid, divx, altri codec mp4, sono in questo caso degli strumenti per comprimere. In sostanza il file ha lastruttura di un avi, ma può essere compresso con diversi algoritmi.
Esiste un altro programma automatico, oltre ad avidemux, per convertire video(in parecchi formati tra cui vob e avi) in maniera semplice (e ti permette anche di settare la dimensione del file), si chiama auto gordian knot e usa in automatico alcuni tra gli strumenti migliori per la compressione/decompressione video,audio e per i sottotitoli: virtualdubMod, avisynth, vobsub,... io lo usavo tempo fa quando i computer erano lenti e con due clic gli facevo rippare i film durante la notte
