Immagino che per 'TV figo' intendi un fullHD 1920 x1080
Se così è la qualità migliore la si ha con video fullHD 1080p 1920x1080 'i' o, meglio, 'p' ma, come ti sarai accorto, sono voluminosi; l'esempio che hai messo è lampante, 12.6 GB contro 1 GB o poco più degli altri due.
Un buon compromesso sono i video HD da 720p che corrispondono a 1280x720, se codificati bene si fa fatica a notare differenze con i fullHD.
Scarterei invece gli AVI perchè hanno un formato in genere fuori standard, 656x272 dell'esempio vedresti solo una striscia (1080 - 272 = 808 righe vuote); per video generici sono ottimi perchè occupano poco, ma difficilmente si avrà il massimo della qualità.
Altra cosa da notare è l'fps, per godere appieno dell'effetto cinema senza microscatti nell'immagine deve essere di quel valore strano di 23.976, che corrispondono ai fotogrammi al secondo con cui i film venivano proiettati nelle sale cinematografiche e con cui vengono codificati i BluRay indicato con 24fps.
Comunque tutto dipende da quello che si trova a scaricare, ma se si ha la possibilità di scelta e il tempo di scarico non è un problema meglio gli MKV minimo 720p con audio minimo AC3
http://it.wikipedia.org/wiki/HDTV per un'infarinata generale sui formati HD