Work distribution map

[snme2pm1]

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.

[kriesel]

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.

[snme2pm1]

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.

[sdbardwick]

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

[snme2pm1]

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?

[S485122]

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 :

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