на Mac Os X:
- с mkv лучше всего справляется MPlayer OS X extended
- для avi Quicktime c дополнительно загруженными кодеками Perian.
- mpeg-фильмы удобно в iTunes смотреть
- VLC тоже стоит, он всё это воспроизводит, но везде свои косяки какие-то. Квадратиков много.

а про функцию автовозврата к определённой минуте в фильме я вообще в первый раз слышу, видел только на AIMP, но там для музыки.