mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > Lone Mersenne Hunters

Reply
 
Thread Tools
Old 2019-12-18, 04:50   #12
wreck
 
wreck's Avatar
 
"Bo Chen"
Oct 2005
Wuhan,China

2·3·31 Posts
Default

900.0M - 900.1M
2016-01-15 ~ 2016-12-17 34 / (70t71 388; 70t72 101) 17.6
2016-12-24 ~ 2017-12-17 10 / (70t71 534; 78t79 64) 8.4
2017-12-31 ~ 2018-12-17 3 / (70t71 229; 78t79 29) 3.6
2019-01-07 ~ 2019-12-17 1 / (71t80 1151; 72t80 638) 193.2
It is possible that someones only submit factors without submit no factor result before the year 2016.

900M - 901M
27325 factored, 48676 exponents.
ratio 0.5613, no much difference to other ranges.

900.0M - 900.1M
2748 factored, 4854 exponents.
ratio 0.5661, no much difference to other ranges.
wreck is offline   Reply With Quote
Old 2019-12-18, 15:28   #13
petrw1
1976 Toyota Corona years forever!
 
petrw1's Avatar
 
"Wayne"
Nov 2006
Saskatchewan, Canada

14CD16 Posts
Default

Quote:
Originally Posted by wreck View Post
900.0M - 900.1M
2016-01-15 ~ 2016-12-17 34 / (70t71 388; 70t72 101) 17.6
2016-12-24 ~ 2017-12-17 10 / (70t71 534; 78t79 64) 8.4
2017-12-31 ~ 2018-12-17 3 / (70t71 229; 78t79 29) 3.6
2019-01-07 ~ 2019-12-17 1 / (71t80 1151; 72t80 638) 193.2
It is possible that someones only submit factors without submit no factor result before the year 2016.

900M - 901M
27325 factored, 48676 exponents.
ratio 0.5613, no much difference to other ranges.

900.0M - 900.1M
2748 factored, 4854 exponents.
ratio 0.5661, no much difference to other ranges.
The following table shows all 900.x ranges with similar Pct Factors;
however .0 and .1 and 9 or 10 TF bits deeper.
But 900.3 at only 71 bits is a higher percent than .0 or .1.
With each bit (B) expected to produce 1/(B+1) more factors.
So roughly by 80 the percent factored should be about 62%.

Code:
Range	Exp	Fact	Unfact	Pct	TF Bits
900.0M	4,854	2,748	2,106	56.6%	80
900.1M	4,831	2,760	2,071	57.1%	80/82
900.2M	4,856	2,683	2,173	55.3%	71
900.3M	4,878	2,788	2,090	57.2%	71
900.4M	4,946	2,771	2,175	56.0%	71
900.5M	4,830	2,751	2,079	57.0%	71
900.6M	4,870	2,721	2,149	55.9%	72
900.7M	4,857	2,697	2,160	55.5%	71
900.8M	4,855	2,700	2,155	55.6%	71
900.9M	4,899	2,706	2,193	55.2%	71

Last fiddled with by petrw1 on 2019-12-18 at 15:30
petrw1 is offline   Reply With Quote
Old 2019-12-18, 16:56   #14
masser
 
masser's Avatar
 
Jul 2003
Behind BB

2×7×11×13 Posts
Default

Quote:
Originally Posted by petrw1 View Post
Code:
Range	Exp	Fact	Unfact	Pct	TF Bits
900.0M	4,854	2,748	2,106	56.6%	80
900.1M	4,831	2,760	2,071	57.1%	80/82
900.2M	4,856	2,683	2,173	55.3%	71
900.3M	4,878	2,788	2,090	57.2%	71
900.4M	4,946	2,771	2,175	56.0%	71
900.5M	4,830	2,751	2,079	57.0%	71
900.6M	4,870	2,721	2,149	55.9%	72
900.7M	4,857	2,697	2,160	55.5%	71
900.8M	4,855	2,700	2,155	55.6%	71
900.9M	4,899	2,706	2,193	55.2%	71
That is bad. Do the primenet and mersenne.ca admins know?

Were those TF ranges done by one person? one piece of software? one piece of hardware?
masser is offline   Reply With Quote
Old 2019-12-18, 18:27   #15
Anonuser
 
Sep 2014

1D16 Posts
Default

However, according to Primenet these are the actual exponent counts (sorted by the maximum TF bitlevel):

900.0M - 900.1M

71: 1080
72: 709
74: 114
75: 2
76: 43
77: 12
78: 3
79: 139
80: 3
86: 1


900.1M - 900.2M

71: 1641
72: 275
74: 82
76: 19
77: 8
78: 23
79: 22
80: 1


So I suspect that the data in the (mersenne.ca) tables may have been corrupted sometime in the past.
Anonuser is offline   Reply With Quote
Old 2019-12-18, 18:47   #16
petrw1
1976 Toyota Corona years forever!
 
petrw1's Avatar
 
"Wayne"
Nov 2006
Saskatchewan, Canada

3×52×71 Posts
Default

Quote:
Originally Posted by Anonuser View Post
So I suspect that the data in the (mersenne.ca) tables may have been corrupted sometime in the past.
I thought briefly about redoing the factoring until I calculated the work required:
Assuming TF to 71 was accurate (and it may NOT be).
There are 1996 exponents to take from 71 to 80
--- At about 271 GhzDays per = 540,916
And 970 to take from 71 to 82
--- At about 1088 GhzDays per = 1,055,360
==== TOTAL about 1.6M GhzDays

Almost exactly 1 year for my 2080Ti
Closer to 4 years for a 1080Ti.
petrw1 is offline   Reply With Quote
Old 2019-12-18, 20:22   #17
Anonuser
 
Sep 2014

29 Posts
Default

Quote:
Originally Posted by petrw1 View Post
I thought briefly about redoing the factoring until I calculated the work required:
Assuming TF to 71 was accurate (and it may NOT be).
There are 1996 exponents to take from 71 to 80
--- At about 271 GhzDays per = 540,916
And 970 to take from 71 to 82
--- At about 1088 GhzDays per = 1,055,360
==== TOTAL about 1.6M GhzDays

Almost exactly 1 year for my 2080Ti
Closer to 4 years for a 1080Ti.
That said, it seems that the (factor) success rate in the 900.0M - 900.2M range is fine if we use the bitlevels reported by Primenet as a basis.

It is a bit unusual though that 3911 exponents are available for P-1 in the 900M range.

(One possible explanation could be that bogus TF results were submitted in the 900M range some time ago. These results were recognized as bogus and they were subsequently deleted. But unfortunately the incorrect data made it into the mersenne.ca database.)

Last fiddled with by Anonuser on 2019-12-18 at 20:26
Anonuser is offline   Reply With Quote
Old 2019-12-18, 22:21   #18
petrw1
1976 Toyota Corona years forever!
 
petrw1's Avatar
 
"Wayne"
Nov 2006
Saskatchewan, Canada

3×52×71 Posts
Default

Quote:
Originally Posted by Anonuser View Post
That said, it seems that the (factor) success rate in the 900.0M - 900.2M range is fine if we use the bitlevels reported by Primenet as a basis.

It is a bit unusual though that 3911 exponents are available for P-1 in the 900M range.

(One possible explanation could be that bogus TF results were submitted in the 900M range some time ago. These results were recognized as bogus and they were subsequently deleted. But unfortunately the incorrect data made it into the mersenne.ca database.)
Primenet has the same number of factored/unfactored as Mersenne.ca; however, Primenet does NOT indicate TF bit level.
https://www.mersenne.org/primenet/
https://www.mersenne.ca/status/tf/0/0/3/90000

Normally Primenet makes assignments available for P-1 when they are factored to the PrimeNet levels here:
https://www.mersenne.org/various/math.php
which is 80 bits for 576M+.
Listing them as available for P-1 suggests PrimeNet believes they are factored to 80 bits.

That said, PrimeNet also shows 2001 available for P-1 in the 912M range which Mersenne.ca does NOT show as factored to 80 (only 71).
petrw1 is offline   Reply With Quote
Old 2019-12-19, 02:53   #19
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

D7C16 Posts
Default

Quote:
Originally Posted by petrw1 View Post
Listing them as available for P-1 suggests PrimeNet believes they are factored to 80 bits.
Only 23 exponents 900M-920M are factored to 80 bits or higher according to primenet:

https://www.mersenne.org/report_fact...=80&bits_hi=99

But there are 1365 exponents in the same range factored to between 75 and 79 bits:

https://www.mersenne.org/report_fact...=75&bits_hi=79

Last fiddled with by ATH on 2019-12-19 at 02:54
ATH is offline   Reply With Quote
Old 2019-12-19, 04:05   #20
petrw1
1976 Toyota Corona years forever!
 
petrw1's Avatar
 
"Wayne"
Nov 2006
Saskatchewan, Canada

3·52·71 Posts
Default

Quote:
Originally Posted by ATH View Post
Only 23 exponents 900M-920M are factored to 80 bits or higher according to primenet:

https://www.mersenne.org/report_fact...=80&bits_hi=99

But there are 1365 exponents in the same range factored to between 75 and 79 bits:

https://www.mersenne.org/report_fact...=75&bits_hi=79
Ok so it looks like Mersenne.ca has the wrong counts in their table for 900.0 and 900.1

However, its still a mystery why PrimeNet thinks there are 2000 exponents ready for P-1 in 900M and 912M
petrw1 is offline   Reply With Quote
Old 2019-12-19, 06:01   #21
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

22·863 Posts
Default

Quote:
Originally Posted by petrw1 View Post
However, its still a mystery why PrimeNet thinks there are 2000 exponents ready for P-1 in 900M and 912M
Yeah that must be an error because there are only 62 exponents in 912M factored to 72+ bits, but 10000+ factored to 71+ bits, so no bit level corresponds to ~2000 exponents.
ATH is offline   Reply With Quote
Old 2023-06-27, 21:30   #22
mrh
 
"mrh"
Oct 2018
Temecula, ca

24·32 Posts
Default

I thought I'd be fancy an run a bunch of PM1 on my old unverified LL exponents, like 82503017. So far about 20 have completed, about 350 GHz-Days each, with no new factors. Not as fancy as I thought....
mrh is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
factoring 2ⁿ-2 equivalent to factoring 2ⁿ-1(I think) baih Miscellaneous Math 9 2020-09-21 07:11
OpenCL GPU P-1 Factoring and ECM Factoring xx005fs GPU Computing 3 2018-10-27 14:49
How unlucky have I been? ixfd64 Factoring 14 2013-03-31 20:40
How unlucky? Prime95 Operazione Doppi Mersennes 19 2013-01-30 21:57

All times are UTC. The time now is 13:21.


Fri Jul 7 13:21:06 UTC 2023 up 323 days, 10:49, 0 users, load averages: 0.98, 1.17, 1.15

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2023, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔