- n=100-300k, 23k left (136, 174, 208, 216, 294, 306, 406, 586, 846, 936, 948, 1026, 1042, 1074, 1354, 1384, 1414, 1474, 1546, 1806, 1906, 1944, 2008)
- runtime 7min48s-1h55min (AVX@3.8Ghz)
- 94510 WUs
754*499^29709+1 found by Murphy.cz
1158*499^30143+1 found by Murphy.cz
1714*499^39275+1 found by Murphy.cz
1636*499^46992+1 found by Lemon
1984*499^70797+1 found by Uli2*
1494*499^78183+1 found by Raspo
246*499^81050+1 found by vaughan |