View Single Post
Old 2018-04-19, 22:53   #1496
GP2
 
GP2's Avatar
 
Sep 2003

22·3·5·43 Posts
Default

Quote:
Originally Posted by retina View Post
Now the reports seem to be conflicting about what is happening.
Code:
----------=-----=-- | -----=-----=-----=-----=----- | -----=-----=-----=----- | -----=-----=-----=----- |
  Exponent Range    | Composite  | Status Unproven  |        Assigned         |        Available        |
   Start   Count  P |   F   LL-D | LL   LLERR NO-LL |  TF    P-1   LL   LL-D  |  TF    P-1   LL   LL-D  |
----------=-----=-- | -----=-----=-----=-----=----- | -----=-----=-----=----- | -----=-----=-----=----- |
  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 first-time tested if every exponent has either been factored, or had at least one non-Suspect 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 non-Suspect 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 non-Suspect 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 double-checks 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 NO-LL is most likely due to a hung assignment on M77231809. The system seems to think that the first-time 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 double-check will likely resolve the problem, by shifting it into confirmed-composite 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.
GP2 is offline   Reply With Quote