Even so, the process of building so many formulas "helps us think about what life needs and what environmental requirements are necessary to support life, " said Carl Pilcher, director of NASA's Astrobiology Institute at Ames.

WSJ: Login/Register to set your edition