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.