Как уменьшить видео в раза 3 если качество не так важно ?

Конвертировать AVI с нужным разрешением и битрейтом -
[ссылка заблокирована по решению администрации проекта]. net/EN_index.htm (без пробела)
Программа создана на основе VirtualDub.
Легко изменяет битрейт и размер видео, битрейт звука и пр.. .
Можно вырезать отдельный фрагмент или обрезать титры.
Для меньшего потери качества кодировать в два прохода.
Программа работает очень быстро. На русском.

virtualdub хорошая программа. Никто не написал каким кодеком сжимать в AVI
А от этого зависит качество и в итоге конечный размер файла. Вы можете сжать популярным кодеком Х264, который сохраняет качество на низких битрейтах. https://sites.google.com/site/schastevmire/kodirovanie-szatie-v-format-h264
Ещё уменьшают размер уменьшая размер кадра, оставляя пропорции. Всё это можно сделать в этой же программе. Как уменьшить размер кадра - https://sites.google.com/site/schastevmire/vsego-ponemnogu
Спорное мнение. что Н264 не уживается в AVI. Я кодировал и всё нормально получилось.
Можете конечно уменьшить размер файла и конвертерами, теми же способами уменьшая битрейт и если надо размер кадра. Например качество на отлично выдаёт Xilisoft Video Converter Ultimate http://www.torrentino.com/torrents/937110 Конвертируйте в более популярное сочетание МР4 сжатое кодеком Н264

Размер видео зависит от скорости потока видео сжатия-битрейт.