#9 gracias. La próxima vez que comprima probaré también con 7zip, si lo tengo a mano.

Últimamente comprimo poco y, hasta ahora, rar me había dado mejores resultados que arj y zip.