3 ms·He said in a talk that the project took 4.5 years to finish.by jacobolus 5y agoHe said in a talk that the project took 4.5 years to finish.