Fatti
Il 29 dicembre 1992, X. SA e C. Company Limited hanno concluso un contratto di vendita di un aereo di tipo Canadair Challenger 601-3A-ER per un prezzo totale di 17'595'000 US$. Il contratto prevedeva pagamenti rateali, con acconti da versare in date diverse. C. ha effettuato pagamenti parziali per un totale di 3'733'500 US$ prima che X. si dissociasse dal contratto a causa del mancato pagamento di un acconto. X. ha conservato gli acconti già versati, in applicazione dell'articolo 3 del contratto, che stabiliva che i pagamenti parziali effettuati dall'acquirente rimanevano acquisiti al venditore in caso di inadempimento.
I ricorrenti, Y. e Z., cessionari di C., hanno aperto un'azione contro X. per ottenere la restituzione degli acconti. La Corte di giustizia del cantone di Ginevra ha condannato X. a pagare ai ricorrenti l'importo di 3'233'500 US$ con interessi. X. ha presentato un ricorso in riforma al Tribunale federale, che ha parzialmente accolto il ricorso e riformato la sentenza impugnata.
Legge
Il Tribunale federale ha esaminato la questione della riduzione della pena convenzionale eccessiva nel quadro dell'articolo 163 al. 3 CO. Ha ricordato che le disposizioni relative alla clausola penale sono applicabili alla convenzione con la quale i pagamenti parziali effettuati rimangono, in caso di risoluzione, acquisiti al creditore. Il Tribunale federale ha anche sottolineato che il giudice deve ridurre le pene che ritiene eccessive, tenendo conto di tutte le circostanze concrete del caso.
Il Tribunale federale ha considerato che la pena convenzionale di 3'733'500 US$ era eccessiva,…