New execution trace with correct solvent aliquot