2 ms·And even with all that optimization it still took 23 core-years to find one solution.by dagw 7y agoAnd even with all that optimization it still took 23 core-years to find one solution.