- n=50-100k, 82k left (120, 202, 538, 666, 736, 762, 1042, 1044, 1098, 1114, 1156, 1308, 1518, 1672, 1674, 1678, 1812, 2190, 2416, 2932, 3004, 3046, 3340, 3408, 3424, 3564, 3676, 3774, 3886, 3912, 4318, 4824, 4866, 5398, 5734, 5776, 5928, 5958, 6082, 6196, 6348, 6406, 7048, 7188, 7246, 7608, 8182, 8244, 8464, 8632, 8952, 9022, 9346, 9442, 10074, 10618, 10702, 10984, 11052, 11472, 11586, 11824, 11962, 12216, 12384, 12496, 12664, 12706, 12762, 12894, 12916, 12942, 13042, 13180, 13698, 14596, 14638, 14904, 15016, 15310, 15576, 15744)
- runtime 1-4min (AVX@3.8Ghz)
1252*97^54959+1 found by PeTer!
10128*97^55229+1 found by PeTer!
12888*97^57402+1 found by Mumps [MM]
6756*97^61420+1 found by Mumps [MM]
7972*97^64231+1 found by nenym
5088*97^66905+1 found by Fernando Miguel
13714*97^71410+1 found by Mumps [MM]
12018*97^75277+1 found by Mumps [MM]
15436*97^76224+1 found by Mumps [MM]
11668*97^78153+1 found by nenym
14230*97^89409+1 found by Adrian Schori |