Ну можно прикинуть. Средней энергии солнечного света, падающего на квадратный метр Марса, при 100% КПД преобразования хватит на выработку 300 кг кислорода из CO2 за земной год. Этого бы хватило, чтобы обратить всю марсианскую атмосферу в кислород всего за полгода. При типичном для фотосинтеза КПД 1% и полагая, что заросли чудес генной инженерии будут покрывать 10% поверхности Марса, полное преобразование атмосферы займет 500 лет. При снижении парциального давления СO2 в атмосфере начнет сублимироваться сухой лед с полюсов, так что где то за 1000 лет давление атмосферы поднимется в исходно желавшиеся три раза. Правда, что при этом случится с температурой поверхности - не очень понятно.