- n=25-100k, 22k left (9, 62, 74, 225, 237, 302, 324, 443, 477, 573, 590, 653, 693, 702, 732, 788, 809, 867, 872, 893, 1016, 1017)
- runtime 33s-10min (AVX@4Ghz)
- 81882 WUs
273*718^30086-1 found by Murphy.cz
239*718^31831-1 found by Raspo
119*718^37456-1 found by Ralfy
491*718^45713-1 found by vanos0512
789*718^51476-1 found by Murphy.cz
120*718^58837-1 found by Fernando Miguel
596*718^59239-1 found by Fernando Miguel
645*718^70853-1 found by vinn [Czech National Team]
648*718^93334-1 found by Ralfy |