Well, I think that sounds not too plausible, so I’ll be making my stand on earth heh.
Actually, with a few nuclear reactors, you could crank out a respectable amount of perfluorocarbons. A few stats:
Mars’s atmospheric mass of 25 teratonnes (trillion tons) compares to Earth’s 5148 teratonnes. So to get a few parts per million of perfluorocarbons in their atmosphere, you would need to generate some 8.3 million tons. As you continue to generate the gas, the temperature would start to rise, freeing up a lot of CO2 from the ground and the icecaps. Possibly methane, another greenhouse gas, as well.
Once the temperature is warm enough, CO2 consuming microbes, likely Archaea, which look like bacteria, but are so totally alien to bacteria that they have their own family, and consume things bacteria won’t.