- n=25-100k, 51k left (46, 239, 428, 638, 747, 868, 1253, 1481, 1613, 1934, 1971, 2121, 2237, 2241, 2460, 2503, 2843, 2887, 2983, 3294, 3654, 3748, 4084, 4347, 4538, 4564, 4868, 4993, 5078, 5563, 5623, 5744, 5959, 6060, 6098, 6377, 6386, 7019, 7073, 7311, 7463, 7922, 8117, 8211, 8566, 8748, 8809, 9242, 9329, 9444, 9511)
- runtime 43s-12min (AVX@3.8Ghz)
1842*372^25043+1 found by [SG]ATA-Rolf
2654*372^25137+1 found by vaughan
3264*372^25263+1 found by vaughan
7983*372^28533+1 found by Ralfy
2431*372^28957+1 found by LCB001
4996*372^29612+1 found by arkiss
7873*372^31006+1 found by vaughan
5869*372^32462+1 found by Dave gpu SETI.USA
298*372^32685+1 found by vaughan
5715*372^33250+1 found by Ralfy
2042*372^33276+1 found by [SG]ATA-Rolf
73*372^33816+1 found by vaughan
8307*372^35095+1 found by Dave gpu SETI.USA
5898*372^35506+1 found by Ralfy
7459*372^37979+1 found by vaughan
5294*372^39614+1 found by Roadranner
8898*372^39974+1 found by Ralfy
4952*372^41507+1 found by LCB001
5804*372^43142+1 found by Sphynx
6038*372^44058+1 found by somanyroads
5033*372^45089+1 found by scrap
3782*372^46611+1 found by Sphynx
362*372^55491+1 found by Ralfy
6016*372^59952+1 found by Adrian Schori
1513*372^61478+1 found by Fernando Miguel
1327*372^62755+1 found by Roadranner
9186*372^73167+1 found by Cruncher Pete
6430*372^92755+1 found by Ralfy
8104*372^96018+1 found by Cruncher Pete
5449*372^96877+1 found by Ralfy |