- n=500-700k, 12k left (892, 976, 1132, 1798, 3477, 3961, 4842, 6015, 9918, 11686, 12585, 13725)
- runtime 1h27min-2h30min (AVX@3.8Ghz)
5395*46^131937+1 found by vaughan
11751*46^163218+1 found by CharityEngine1
14166*46^242276+1 found by CharityEngine1
6816*46^291720+1 found by CharityEngine2 (TOP5000)
10950*46^301087+1 found by whizbang (TOP5000)
3261*46^381439+1 found by Azmodes (TOP5000)
7566*46^420563+1 found by vseven (TOP5000)
7675*46^424840+1 found by CharityEngine1 (TOP5000)
11796*46^599707+1 found by taurec (TOP5000) |