mersenneforum.org > Data "Verified" LLs with non-matching short residues?
 User Name Remember Me? Password
 Register FAQ Search Today's Posts Mark Forums Read

 2010-12-27, 11:12 #1 cheesehead     "Richard B. Woods" Aug 2002 Wisconsin USA 11110000011002 Posts "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
 2010-12-27, 15:47 #2 Prime95 P90 years forever!     Aug 2002 Yeehaw, FL 5×1,553 Posts 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.
 2010-12-27, 16:10 #3 davar55     May 2004 New York City 423510 Posts 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.
2010-12-27, 16:12   #4
KingKurly

Sep 2010
Annapolis, MD, USA

101111012 Posts

Quote:
 Originally Posted by Prime95 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

 2010-12-27, 18:57 #5 davar55     May 2004 New York City 102138 Posts Wasn't the moral issue of poaching being discussed in another thread?
2010-12-27, 22:43   #6
Prime95
P90 years forever!

Aug 2002
Yeehaw, FL

5·1,553 Posts

Quote:
 Originally Posted by KingKurly 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.

2010-12-27, 22:47   #7
Mini-Geek
Account Deleted

"Tim Sorbera"
Aug 2006
San Antonio, TX USA

427110 Posts

Quote:
 Originally Posted by Prime95 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

 Thread Tools

 Similar Threads Thread Thread Starter Forum Replies Last Post MooMoo2 Other Chess Games 5 2016-10-22 01:55 wildrabbitt Miscellaneous Math 11 2015-03-06 08:17 sdbardwick Lounge 1 2015-02-03 15:03 nitai1999 Software 7 2004-08-26 18:12

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

Tue Jan 18 17:34:44 UTC 2022 up 179 days, 12:03, 0 users, load averages: 1.82, 1.41, 1.26

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

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