Marin Mersenne 2^P-1
Username
Password
Forgot password?
White
Great Internet Mersenne Prime Search
GIMPS
Finding World Record Primes Since 1996

PrimeNet Exponent Status

Exponent Range:










MnStatusDetails
1127663Composite: proven not-prime with both PRP and Lucas-Lehmer tests
TF
No factors below 271
TF target 260
TF below 2^81 is very unlikely to find new factors due to ECM effort.
P-1
B1 = 12000000
B2 = 82743881220
ECM
DigitsB1Curves
2550000280 / 280
30250000100 / 640
Estimated T-Level: 25.8
LL
StatusDateUserResidueShift
VerifiedGerardo Cisneros8840
VerifiedRuss Nelson69A585818A35E8840
Verified2002-05-18S5748369A585818A35E884301122
Verified2016-06-01MadPoo69A585818A35E8848007
PRP
StatusDateUserResidueShiftTypeBase
Verified2020-11-05Ethan O'Connor400CD9576DF1CC5F17411613
Verified2025-09-01Kriesel400CD9576DF1CC5F013
History
DateUserTypeResult
2025-09-02V0rtex762CERT
PRP Certification
CERT proof power = 6
Proof certified good
2025-09-01KrieselC-PRP
400CD9576DF1CC5F
PRP proof power = 6
PRP: Verified
Proof certified good
2022-05-25mikrNF-PM1
B1=12000000, B2=82743881220
2020-11-05ky0urakuCERT
PRP Certification
CERT proof power = 6
Proof certified good
2020-11-05Ethan O'ConnorC-PRP
400CD9576DF1CC5F
PRP proof power = 6
PRP: Verified
Proof certified good
2018-11-13JossNF-PM1
B1=1127663, B2=135319560, E=12
2018-04-12JossNF-PM1
B1=1127663, B2=112766300, E=12
2016-07-27Bruno VictalNF-PM1
B1=2500000, B2=62500000, E=12
2016-07-24Bruno VictalNF-PM1
B1=2500000, B2=62500000, E=12
2016-06-01MadPooC-LL
69A585818A35E884
2016-02-23Mark RoseNF
no factor from 2^58 to 2^60
2016-02-05ramgeisNF
no factor from 2^70 to 2^71
2016-02-05ramgeisNF
no factor from 2^69 to 2^70
2016-02-05ramgeisNF
no factor from 2^68 to 2^69
2016-02-05ramgeisNF
no factor from 2^67 to 2^68
2016-02-05ramgeisNF
no factor from 2^66 to 2^67
2015-06-28omylistNF
no factor from 2^65 to 2^66
2015-01-18lycornNF
no factor from 2^64 to 2^65
2014-12-26Matthias WurtingerNF
no factor from 2^63 to 2^64
2013-11-06David CampeauNF-PM1
B1=1225000, B2=35525000, E=12
2012-10-18dbaughNF
no factor from 2^62 to 2^63
2012-08-25AxelssonNF
no factor from 2^61 to 2^62
2009-02-16Sturle SundeNF
no factor from 2^60 to 2^61