Si te aseguras de que tu reproductor lea Divx, yo diría este, porque obtiene muy buenos resultados de detalle con un bitrate relativamente bajo, que es al final lo que define el tamaño del fichero.
Tienes tutos en la sección de Documentación.
Tienes tutos en la sección de Documentación.