Zaraz zaraz jest:
FullHD 1920x1080
oraz
HDV 1280x720
To co wymieniłeś
*.3gp, *.3g2, - podstawowy zapis video, głównie używane w starych telefonach, teoretycznie da się zapiać taki plik w wysokiej rozdzielczości ale czy telefon to pociągnie?
*.mp4, - x264 lub MPEG4 dwa formaty wykorzystywane do zapisu filmów ten 1 jest bardziej pakowny ale przez to wykorzystuje większa moc procesora, drugi za to ma gorsza jakość wideo przy identycznych parametrach kompresji (może być FullHD jak i HDV)
*.wmv, - windows media video, jak dobrze pamiętam nowsze wersje potrafią zapisać obraz do HD, ale zazwyczaj są to bardzo duże pliki i kompresja do nich nie jest zalecana
*.avi, *.xvid. - divx lub xivid (pierwszy komercyjny, drugi open source) tutaj także możesz zapisać materiał w HD, xvid jest to najbardziej rozpowszechniony codek w którym większość materiałów wideo zalega w sieci
Do kodowania video z darmowego softu polecam: HandBrak, fajny jest jeszcze Avidemux
z płatnych Xilisoft Video Converter (wspiera CUDA)
Tymi programami ustawisz dowolnie ustawienia przy konwertowaniu albo skorzystasz z gotowych już profili.