Газовые методы увеличения нефтеотдачи, предполагающие закачку углекислого газа (CO2) через нефтедобывающие скважины в пласт, сопровождаются сложными фазовыми превращениями. Так, попадая в пласт, CO2 растворяется не только в нефти, но и в воде, всегда присутствующей в нефтенасыщенных горных породах. Причем при свойственных нефтеносным пластам давлениях и температурах концентрация растворенного в воде CO2 может достигать высоких значений. Стандартные алгоритмы моделирования фильтрации полагают равной нулю концентрацию CO2 в воде. Для учета растворимости необходимо прибегать к уточненным алгоритмам моделирования, в которых состояние пластовых смесей рассчитывается не на базе корреляций, полученных по данным экспериментальных исследований, а с применением уравнений состояния. В настоящей работе описывается такой алгоритм, внедренный в симулятор пластовых систем MUFITS. Симулятор используется для оценки влияния растворения CO2 в воде на эффективность вытеснения нефти с помощью карбонизированной воды и CO2 в сверхкритическом состоянии. Выявлено, что пренебрежение растворением CO2 приводит к занижению коэффициента извлечения нефти. Даются качественные и количественные оценки влияния отмеченных фазовых переходов на эффективность газовых методов увеличения нефтеотдачи. Результаты проведенных расчетов показывают, что растворение CO2 в воде влечет за собой увеличение коэффициента извлечения нефти в случае закачки и карбонизированной воды, и сверхкритического CO2. Однако растворение CO2 в воде оказывает ограниченное влияние как на многостадийное смешение при газовом воздействии на пласт, так и на коэффициент извлечения нефти. Если в моделировании фильтрации пренебречь растворением CO2, то коэффициент извлечения нефти на поздней стадии закачки будет недооценен на несколько процентов.