The majority of the magma ocean crystallized quickly (within about 100 million years or less), though the final remaining KREEP-rich magmas, which are highly enriched in incompatible and heat-producing elements, could have remained partially molten for several hundred million (or perhaps 1 billion) years.