M25 003 217 Mersenne number exponent details

≡

is 2 ^25003217 - 1

has 7526719 decimal digits

takes 21.426 GHz-days to do one PRP test

Last-known PrimeNet details:

Exponent is not assigned to anyone

factored, 0 LL tests remaining

	Residue	Status
L-L	1CFF84951C117AF6	double-checked
PRP	-unknown-	-unknown-

	Trial Factoring			P-1 Factoring				Combined
	Limit	GHz-days	Probability	B1	B2	GHz-days	Probability	GHz-days	Probability
Actual	2⁶⁷	1.1884	62.6866%	370000	370000	0.4598	2.5973%	1.6482	63.6557%
Target	2⁷⁰	9.5568	64.2857%	180000	5000000	0.5500	3.6603%	10.1068	65.5930%
Difference	-3	-8.3684	-1.5991%	+190000	-4630000	-0.0902	-1.0630%	-8.4586	-1.9372%

Known prime factors (1 factor, 90.9 bits, 0.00036344% known):

Remaining cofactor is PRP status unknown

						P-1		GHz-days
exponent	factor	digits	bits*	k	date found	min B1	min B2	min. TF	min. P-1	normal P-1
25003217	2263691408542680042401186561	28	90.871	45268003084216723840 2⁷ × 5 × 89 × 97 × 1193 × 55021 × 124819	2012-05-19	55021	124819	17,278,457	0.0731	0.1391

P-1 results:

										GHz-Days		worth	Factor probability
date	userid	compid	b1	b2	e	stage	factor	digits	bits*	spent	saved	worth	Factor probability
2005-01-20	ANONYMOUS	v4_computers	370000	370000		-	MISSED FACTOR!	-	-	0.460	-	-	2.597%
2012-05-19	bcp19	acer-Q8200	370000	370000			2263691408542680042401186561	28	90.871	0.460	42.85	0.920	2.597%

Trial Factoring results:

			Bits		Factor			GHz-Days		worth
date	userid	compid	from	to	factor	bits*	digits	spent	saved	worth
2001-08-12	Net_Force	v4_computers	2¹	2⁵⁶		-	-	0.000	-	-
2001-08-24	Matt	v4_computers	2¹	2⁵⁸		-	-	0.002	-	-
2001-12-01	Matt	v4_computers	2¹	2⁵⁹		-	-	0.003	-	-
2001-12-01	Matt	v4_computers	2¹	2⁶⁰		-	-	0.006	-	-
2004-03-26	ANONYMOUS	v4_computers	2¹	2⁶⁷		-	-	1.188	-	-

ECM factoring results:
No ECM results for M25003217

Lucas-Lehmer results:

date	userid	compid	res64	spent (GHz-days)
2005-09-22	Stephan Grupp	v4_computers	1CFF84951C117AF6	21.43
2011-02-10	MCSlab	BeagleQuad	1CFF84951C117AF6	21.43

PRP results:
No PRP results for M25003217

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 = 370000 (P-1 stage 1)

10³

10⁴

10⁵

10⁶

10³

10⁴

10⁵

10⁶

TF factor-bounds graph:

2⁶⁷

2⁶⁰

2⁵⁹

2⁵⁸

2⁵⁶

this exponent TF target: 70

TF double-checked to: 67.7

2⁵⁰

2⁶⁰

2⁷⁰

2⁸⁰

2⁹⁰

2¹⁰⁰

Last modified: 2023-03-25T13:08:14+00:00