А какой формат (кроме ZIP-а) имеет хорошую (не хуже ZIP-а) степень сжатия и позволяет быстро извлекать произвольный файл (тот же 7Zip так не умеет (или умеет, но с какими-то особыми параметрами кодирования), ему надо все (по крайней мере те что раньше запаковались) файлы перебирать, чтобы извлечь нужный) из большого архива? Архиватор Бабушкина не предлагать :-).
PS
В архиве не один файл, а тысячи и архив в распакованном виде ~ 5 Гб.