When I get home, I'll upload the Terraforming Excel sheet to my Dropbox and share the link here. It takes all the pain away from Terraforming. You just plug in the base temperature and the albedo of a body, as well as the target temperature, and Excel does the rest, showing you how much CO2 you need to add to otherwise Earth-like atmosphere to reach target temperature. It even tells you if target temperature is impossible to reach.