The Videos are encoded using Microsoft Movie Maker, Real Producer, Adobe Premiere and DiVx

Alek's Advice : VLC Media Player, an exceptional freeware multiplatform multimedia player for various audio and video formats (MPEG-1, MPEG-2, MPEG-4, DivX, mp3, ogg, ...) as well as DVDs, VCDs, and various streaming protocols (e.g. Real Media).