Quote:
Originally Posted by retina
Now the reports seem to be conflicting about what is happening.
Code:
==  ====  ===  === 
Exponent Range  Composite  Status Unproven  Assigned  Available 
Start Count P  F LLD  LL LLERR NOLL  TF P1 LL LLD  TF P1 LL LLD 
==  ====  ===  === 
77000000 55009 1  35812 607 18586 2 1  1 35  18552 
So which is it? Both can't be right.

There is no contradiction here. All exponents below 78 million have been tested at least once.
The entire 77M range is fully firsttime tested if every exponent has either been factored, or had at least one nonSuspect LL test done, or had at least one PRP test done. That is already the case, and the range is done.
I counted 35813 exponents that have at least one factor, 18953 exponents that have had at least one nonSuspect LL test done and no PRP tests (including the one Mersenne prime), 156 exponents that have had at least one PRP test done and no LL tests, and 85 exponents that have had both at least one nonSuspect LL test and at least one PRP test.
Finally, there are two exponents
77732573 and
77879497 that have each had one PRP test and one Suspect LL test. Those are the "2" in the LLERR column, but that's just a display anomaly. They have already been cleared by virtue of the PRP test.
The simplest way of resolving the display anomaly is to do early doublechecks of those two PRP results, which I have now started. This should shift that "2" into the confirmed composite column.
This sort of thing shouldn't be an issue because going forward there won't be too many more cases of the same exponent having both PRP and LL tests done on it. That was caused by confusion in manual assignments in the early days of gpuOwL implementing PRP testing.
Similarly, the outstanding NOLL is most likely due to a hung assignment on
M77231809. The system seems to think that the firsttime PRP assignment is still outstanding, despite the fact that the result was already submitted. No LL test was ever done on this exponent, nor should it be at this point. Again, doing an early PRP doublecheck will likely resolve the problem, by shifting it into confirmedcomposite status. I am poaching this exponent to do that, it's about 25% complete.
The real question, as ATH has pointed out, is why does it show 35812 factored exponents in the 77M range when in fact there are 35813? Maybe Madpoo could check the SQL that produces the
https://www.mersenne.org/primenet/ report and figure out what's going on.