Professor Koki Ho used data from previously flown or planned missions to create simulated models of a combined campaign. The model can be modified to include heavier or lighter spacecraft, a specified set of destinations, the precise number of humans on board, etc., to validate his predictions about the efficiency.