Comment by smoldesu

> The certification took 20 months on an AMD 3990x computer (64 cores); and verification took about 13 hours.

I'm absolutely dumbfounded (and awestruck) that there are people who dedicate this much compute power to solving these tasks.