Io ho convertito 8000 tif in gif , ridimensionandoli in poco più di 4 ore con batcheye è uno dei più veloci perchè al contrario di fireworks nn apre in modifica tutti i file, ma lavora in background.
Un altro molto efficace potrebbe essere alchemy che funziona sotto dos.