mersenneforum.org  

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

Reply
 
Thread Tools
Old 2010-12-27, 11:12   #1
cheesehead
 
cheesehead's Avatar
 
"Richard B. Woods"
Aug 2002
Wisconsin USA

1E0C16 Posts
Default "Verified" LLs with non-matching short residues?

Generally, an LL result listed as "Verified LL" (in the "Exponent Status" report, anyway) means that the reported residue matches one or more reported residues from other LL tests on the same exponent. Similarly, an LL result listed as "Bad LL" means that its residue does not match any residue from another LL test on the same exponent. Right?

So, for a given exponent, all the residues for "Verified LL" should match each other -- right?

And the residues reported by GIMPS software to PrimeNet should all be sixteen hexadecimal digits -- right? Shorter residues are from an earlier era -- right?

I just came across this in the Exponent Status report for 1800767:
Code:
Verified LL 153BED18D5C5EA4B by "Matt Hicks" 
Verified LL 6A4C by "Alex and Nick Myrman" 
Verified LL 153BED18D5C5EA4B by "S57483"
and this for 1800959:
Code:
Verified LL 8EB3906BE7510354 by "Oyvind Pedersen" 
Verified LL 355 by "Alex and Nick Myrman" 
Verified LL 8EB3906BE7510354 by "S57483"
Each of the short Myrman residues fails to match by being just 1 greater than the other "Verified" residues, in the 15 low-order bits. Were those the actual residue values reported by the Myrmans, or are they some artifact of a problem elsewhere?

There are several other results listed for "Alex and Nick Myrman" for unfactored exponents between 1800590 and 1800960, each with "Bad LL" and a (nonmatching) 16-hexadecimal-digit residue. So, it doesn't appear that the Myrman results were (all) ancient.

1) Why are some of the Myrman residues shown as short values?

2) Why are those short Myrman residues labeled as "Verified" even though they don't match other residues for the same exponents?

3) Are there anomalies in any other "Alex and Nick Myrman" results?

4) Are there any other cases of non-matching residues (short or not) in the database that are listed as "Verified" in the Exponent Status reports? If so, are any of those exponents erroneously being considered as having been successfully DCed?

Last fiddled with by cheesehead on 2010-12-27 at 11:27
cheesehead is offline   Reply With Quote
Old 2010-12-27, 15:47   #2
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

11110000010112 Posts
Default

Nick Myrman wrote his own LL program a decade ago. It had problems with the last bit of the residue. Rather than reject his results as bad, I accepted them as legitimate double-checks.

I suspect all have been triple-checked by now.

Slowinski also had short residues. Brian Beesley made it a personal crusade to make sure these were all triple-checked.
Prime95 is offline   Reply With Quote
Old 2010-12-27, 16:10   #3
davar55
 
davar55's Avatar
 
May 2004
New York City

5×7×112 Posts
Default

I had and have a similar problem with the hex output routine in my
personal version of LL tester. But I was extending it to work on
both larger (up to 40M or 80M) and smaller (<1000) exponents,
and didn't have it fully analyzed back then, and so left it alone.

Recommend quadruple checks when this happens.
davar55 is offline   Reply With Quote
Old 2010-12-27, 16:12   #4
KingKurly
 
KingKurly's Avatar
 
Sep 2010
Annapolis, MD, USA

33×7 Posts
Default

Quote:
Originally Posted by Prime95 View Post
Nick Myrman wrote his own LL program a decade ago. It had problems with the last bit of the residue. Rather than reject his results as bad, I accepted them as legitimate double-checks.

I suspect all have been triple-checked by now.

Slowinski also had short residues. Brian Beesley made it a personal crusade to make sure these were all triple-checked.
Is there a list of small exponents for which a triple check might be useful? Or is that list empty? (I wouldn't mind running some such tests, but I suppose you'd have to take my word for it that I didn't look at the published residues. I assure you I have no interest in doing that; it rather defeats the purpose of the exercise.)

For kicks, I'm running M1800767 right now. It should be done in the next 15 minutes or so. I hope this doesn't count as poaching.

Edit: The 153BED18D5C5EA4B residue for M1800767 is correct, and I was awarded a whopping 0.0977 GHz-days for my troubles. I'm going to wait until I hear back from Prime95 before I do any more of this sort of work.

Last fiddled with by KingKurly on 2010-12-27 at 16:24 Reason: the LL finished
KingKurly is offline   Reply With Quote
Old 2010-12-27, 18:57   #5
davar55
 
davar55's Avatar
 
May 2004
New York City

108B16 Posts
Default

Wasn't the moral issue of poaching being discussed in another thread?
davar55 is offline   Reply With Quote
Old 2010-12-27, 22:43   #6
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

11110000010112 Posts
Default

Quote:
Originally Posted by KingKurly View Post
Is there a list of small exponents for which a triple check might be useful? Or is that list empty?
I suspect the list is empty.
Prime95 is offline   Reply With Quote
Old 2010-12-27, 22:47   #7
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

10000101011102 Posts
Default

Quote:
Originally Posted by Prime95 View Post
I suspect the list is empty.
I suspect it is not, but that only trusted party(ies) could run the triple checks for it to do any good. (the list might be formed, at least in part, by looking for suspicious activity, e.g. user B often submits "double checks" in a non-verifiable way of user A's work shortly after user A "completes" a first-time test, verifiable or not)

Last fiddled with by Mini-Geek on 2010-12-27 at 22:52
Mini-Geek is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Stockfish game: "Move 8 poll", not "move 3.14159 discussion" MooMoo2 Other Chess Games 5 2016-10-22 01:55
Aouessare-El Haddouchi-Essaaidi "test": "if Mp has no factor, it is prime!" wildrabbitt Miscellaneous Math 11 2015-03-06 08:17
Largest number of LL tests before matching residues achieved? sdbardwick Lounge 1 2015-02-03 15:03
Would Minimizing "iterations between results file" may reveal "is not prime" earlier? nitai1999 Software 7 2004-08-26 18:12

All times are UTC. The time now is 07:22.


Wed Dec 8 07:22:23 UTC 2021 up 138 days, 1:51, 1 user, load averages: 1.40, 1.62, 1.50

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, 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.