mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > PrimeNet

Reply
 
Thread Tools
Old 2022-09-25, 04:40   #1
snme2pm1
 
"Graham uses ISO 8601"
Mar 2014
AU, Sydney

10F16 Posts
Default Work distribution map

Somewhat curious about Available DC vs Unproven PRP.
For example I have been operating at 188M, available DC 10 versus Unproven 12.
What am I missing in the arithmetic?
p.s. I am aware of one outstanding CERT.

Last fiddled with by snme2pm1 on 2022-09-25 at 04:49 Reason: More perspective
snme2pm1 is offline   Reply With Quote
Old 2022-09-25, 11:31   #2
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

26×5×23 Posts
Default

If first run as LL, DC required.
If first run as PRP without proof generation, PRP DC required. (There was a period of almost 3 years of PRP implemented with GEC but without proof; early September 2017 to mid June 2020 for Gpuowl.)
If first run as PRP with proof generation, but proof file was not uploaded, or upload failed early or MD5 did not match, PRP DC required.
If first run as PRP with proof generation, and proof file was uploaded, and MD5 matched, then a CERT could be performed.

Last fiddled with by kriesel on 2022-09-25 at 11:31
kriesel is offline   Reply With Quote
Old 2022-09-26, 04:51   #3
snme2pm1
 
"Graham uses ISO 8601"
Mar 2014
AU, Sydney

271 Posts
Default

Still puzzled. Under what conditions would an exponent be listed as unproven after some LL/PRP, but yet not listed as a candidate for further DC effort?
Apart from being subject of existing qualifying assignment.

Last fiddled with by snme2pm1 on 2022-09-26 at 04:55
snme2pm1 is offline   Reply With Quote
Old 2022-09-26, 05:57   #4
sdbardwick
 
sdbardwick's Avatar
 
Aug 2002
North San Diego County

32·89 Posts
Default

I think you got it; they are assigned to users and thus not available.

Last fiddled with by sdbardwick on 2022-09-26 at 06:01
sdbardwick is offline   Reply With Quote
Old 2022-09-26, 06:06   #5
snme2pm1
 
"Graham uses ISO 8601"
Mar 2014
AU, Sydney

271 Posts
Default

There was only one "missing" from my view, one was assigned as CERT.
More recently at 188M, Unproven LL/PRP 11, DC Available 10.
Any concerns of "lost" exponents in the map material might be even more easily explored at 185M?
snme2pm1 is offline   Reply With Quote
Old 2022-09-26, 10:03   #6
S485122
 
S485122's Avatar
 
"Jacob"
Sep 2006
Brussels, Belgium

1,901 Posts
Default

There quite a lot of ranges where the number of exponents not factored or verified composites is bigger than the number of assigned and available exponents.
At 2022-09-26 07:00 UTC there where 33 ranges above 40M that are missing potential assignments :
Code:
Range	Missing Assignments
67000000	1
104000000	1
106000000	2
107000000	1
108000000	7
109000000	9
110000000	54
111000000	17
112000000	84
113000000	25
114000000	53
116000000	9
126000000	1
143000000	2
156000000	1
160000000	3
161000000	1
165000000	1
166000000	2
177000000	1
184000000	2
185000000	2
332000000	5
333000000	2
359000000	1
361000000	1
370000000	1
371000000	6
372000000	1
379000000	2
384000000	1
553000000	1
999000000	1
The numbers and ranges may vary from time to time but some range show persistent discrepancies, especially the 110M to 114M and 332M ranges.

Concerning the 188M range at the moment there are 16 verified exponents : 15 through certified PRP and one through 2 matching LL tests. The report shows only 15.
When querying the data base one finds 11 exponents with a single uncertified PRP, but only 10 are available (I checked all 11 of them, not one of them is assigned.)

The inconsistencies within the "PrimeNet Activity Summary" existed well before PRP.
as doucle. But checking the consistency of those numbers
S485122 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
work distribution question tottenhoff Information & Answers 15 2020-11-02 16:43
Distribution of primegaps ATH Prime Gap Searches 63 2019-10-06 22:37
Poisson Distribution pepi37 Miscellaneous Math 6 2018-08-28 02:10
Help with probability distribution. Unregistered Information & Answers 13 2011-07-15 15:12
exponential distribution davieddy Puzzles 10 2010-05-25 03:43

All times are UTC. The time now is 20:34.


Sat Jan 28 20:34:10 UTC 2023 up 163 days, 18:02, 0 users, load averages: 1.37, 1.11, 1.05

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.

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