Ah mi sono accorto ora che come affermato da @sonysta la grandezza del file corrisponde alla cartella zippata. Io sbagliando controllavo la grandezza del file estratto, che stranamente è più piccolo di quello zippato (dovrebbe essere il contrario). Però direi che ci siamo, visto che nelle istruzioni c'è scritto che bisogna controllare la grandezza del file anzora zippato. Rimane solo la stranezza che il file una volta decompresso, diminuisce di peso invece di aumentare.
