- n=25-100k, 148k left (108, 227, 311, 433, 618, 699, 740, 881, 1181, 1343, 1371, 1416, 1437, 1468, 1699, 1702, 1889, 2008, 2089, 2116, 2131, 2134, 2169, 2182, 2257, 2263, 2428, 2441, 2656, 2691, 2712, 2805, 2859, 2872, 3020, 3098, 3156, 3202, 3377, 3533, 3643, 3694, 3821, 3834, 3982, 4001, 4042, 4269, 4315, 4511, 4514, 4612, 4744, 4749, 4807, 4898, 4939, 4989, 5048, 5109, 5113, 5157, 5164, 5281, 5353, 5389, 5402, 5431, 5463, 5498, 5599, 5620, 5626, 5634, 5659, 5697, 5795, 5806, 5823, 5834, 5894, 5899, 5942, 5993, 6068, 6159, 6284, 6341, 6406, 6564, 6751, 6772, 6803, 6809, 6978, 6986, 7076, 7129, 7131, 7193, 7206, 7276, 7292, 7397, 7657, 7799, 7843, 7927, 8020, 8025, 8150, 8174, 8202, 8207, 8499, 8517, 8774, 8844, 8874, 9071, 9175, 9176, 9229, 9299, 9309, 9338, 9533, 9541, 9567, 9658, 9762, 9871, 9897, 9964, 10027, 10111, 10125, 10183, 10204, 10248, 10309, 10502, 10540, 10618, 10671, 10753, 10774, 10800)
- runtime 18s-8min (AVX@3.8Ghz) |