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
1142263Composite: proven not-prime with both PRP and Lucas-Lehmer tests
TF
No factors below 269
TF target 260
TF below 2^81 is very unlikely to find new factors due to ECM effort.
P-1
B1 = 12000000
B2 = 88140272220
ECM
DigitsB1Curves
2550000280 / 280
30250000111 / 640
Estimated T-Level: 25.9
LL
StatusDateUserResidueShift
VerifiedDavid Slowinski1CD40
VerifiedJeff Woods1F38AB312A7C7CD40
Verified2002-06-29S574831F38AB312A7C7CD4263143
Verified2016-06-01MadPoo1F38AB312A7C7CD4964018
PRP
StatusDateUserResidueShiftTypeBase
Verified2020-11-05Ethan O'Connor9191A44DC4DCE9648698713
Verified2025-09-01Kriesel9191A44DC4DCE964013
History
DateUserTypeResult
2025-09-02ResolverCERT
PRP Certification
CERT proof power = 6
Proof certified good
2025-09-01KrieselC-PRP
9191A44DC4DCE964
PRP proof power = 6
PRP: Verified
Proof certified good
2022-05-24mikrNF-PM1
B1=12000000, B2=88140272220
2021-07-23MadPooNF
no factor from 2^68 to 2^69
2020-11-05rucioCERT
PRP Certification
CERT proof power = 6
Proof certified good
2020-11-05Ethan O'ConnorC-PRP
9191A44DC4DCE964
PRP proof power = 6
PRP: Verified
Proof certified good
2018-11-13JossNF-PM1
B1=1142263, B2=137071560, E=12
2018-07-08ramgeisNF
no factor from 2^67 to 2^68
2018-04-16JossNF-PM1
B1=1142263, B2=114226300, E=12
2018-04-13JossNF-PM1
B1=543200
2017-02-16Smok_bmv NF
no factor from 2^66 to 2^67
2016-07-27Bruno VictalNF-PM1
B1=2500000, B2=62500000, E=12
2016-07-25Bruno VictalNF-PM1
B1=2500000, B2=62500000, E=12
2016-06-01MadPooC-LL
1F38AB312A7C7CD4
2016-02-23Mark RoseNF
no factor from 2^58 to 2^60
2015-07-18omylistNF
no factor from 2^65 to 2^66
2015-01-12lycornNF
no factor from 2^64 to 2^65
2014-12-28Matthias WurtingerNF
no factor from 2^63 to 2^64
2012-10-21dbaughNF
no factor from 2^62 to 2^63
2012-08-27AxelssonNF
no factor from 2^61 to 2^62
2009-03-08Sturle SundeNF
no factor from 2^60 to 2^61