Para HD el programa que va muy bien es el Splash-Lite, que ya lleva incorporado los codecs necesarios y además hace uso de las capacidades de la GPU para reproducir HD.
Con el VLC también te ahorras codecs, pero no soporta el uso de la GPU (que yo sepa).
Saludos