3 ms·How was this computed? Just brute force ?by yumraj 7y agoHow was this computed? Just brute force ?techolic 7y ago(One of) The authors previous finding was for 33, and he had a paper on that, https://arxiv.org/pdf/1903.04284.pdf https://arxiv.org/pdf/1903.04284.pdf.dagw 7y agoAnd even with all that optimization it still took 23 core-years to find one solution.