M15 537 713 Mersenne number exponent details

≡

is 2 ^15537713 - 1

has 4677318 decimal digits

takes 7.793 GHz-days to do one PRP test

Last-known PrimeNet details:

Exponent is not assigned to anyone

0 primality tests remaining

	Residue	Status
L-L	-unknown-	-unknown-
PRP	-unknown-	-unknown-

	Trial Factoring			P-1 Factoring				Combined
	Limit	GHz-days	Probability	B1	B2	GHz-days	Probability	GHz-days	Probability
Actual	2⁶⁷	1.9124	64.1791%	480000	308477400	12.5521	10.0247%	14.4645	67.7700%
Target	2⁶⁹	7.6837	65.2174%	110000	14000000	0.6303	3.1118%	8.3140	66.2998%
Difference	-2	-5.7713	-1.0383%	+370000	+294477400	+11.9218	+6.9129%	+6.1505	+1.4703%

Known prime factors (1 factor, 47.8 bits, 0.00030736% known):

Remaining cofactor is not a probable-prime

						P-1		GHz-days
exponent	factor	digits	bits*	k	date found	min B1	min B2	min. TF	min. P-1	normal P-1
15537713	237907619275913	15	47.757	7655812 2² × 547 × 3499	-	547	3499	1.330e-6	0.0005	0.0008

P-1 results:

										GHz-Days		worth	Factor probability
date	userid	compid	b1	b2	e	stage	factor	digits	bits*	spent	saved	worth	Factor probability
2023-07-10	nordi	sweet16_30.8b14	480000	480000		-	skipped known factor: 237907619275913	-	-	0.349	-	-	2.685%
2023-07-25	nordi	sweet16_30.8b14	480000	308477400		-	skipped known factor: 237907619275913	-	-	12.55	-	-	10.025%

Trial Factoring results:
No TF results for M15537713

ECM factoring results:
No ECM results for M15537713

Lucas-Lehmer results:
No L-L results for M15537713

PRP results:

date

userid

compid

cofactors

res64

PRP

2023-08-25

kutens

237907619275913

E22DE82EFE95CAA4

no

P-1 factor-bounds graph:

X = B1; Y = B2
size of marker relates to size of factor
mouse-over any factor marker (circle) to see additional info
mouse-over any stage bound text to see additional info

B1 = 480000, B2 = 308477400 (P-1 stage 2)

B1 = 480000 (P-1 stage 1)

10¹

10²

10³

10⁴

10⁵

10⁶

10¹

10²

10³

10⁴

10⁵

10⁶

10⁷

10⁸

10⁹

TF factor-bounds graph:

this exponent TF target: 69

TF double-checked to: 67.9

2⁵⁰

2⁶⁰

2⁷⁰

JSON version of this page

Last modified: 2023-10-02T12:12:48+00:00