mersenneforum.org  

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

Reply
 
Thread Tools
Old 2015-12-06, 17:30   #1
tha
 
tha's Avatar
 
Dec 2002

15638 Posts
Default skipped bit levels

I redid P-1 on this exponent with higher B1 and B2 bounds. A factor of just over 65 bits was found, and according to the server data this bit level was skipped for some reason. Can we compile a worktodo file with all skipped bit levels for all exponents?
tha is offline   Reply With Quote
Old 2015-12-07, 17:22   #2
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

23×7×61 Posts
Default

Quote:
Originally Posted by tha View Post
I redid P-1 on this exponent with higher B1 and B2 bounds. A factor of just over 65 bits was found, and according to the server data this bit level was skipped for some reason. Can we compile a worktodo file with all skipped bit levels for all exponents?
It's problematic because the data isn't clear-cut on which bit levels are *actually* skipped versus which ones only appear to be skipped because the client didn't include a starting bit-level.

We've looked into this previously in another thread and I've checked the data... basically there are a lot of entries where it appears that bits may have been skipped if we relied on the data alone, but knowing that some early code didn't include "from 2^x" in the results means that we have no idea where it started, only that it ended up at "to 2^x" bit level.

Trying to double-check the TF on all of those where it was probably done previously would be like looking for needles in haystacks where you're not really sure there's a needle in there at all.
Madpoo is offline   Reply With Quote
Old 2015-12-07, 18:18   #3
Mark Rose
 
Mark Rose's Avatar
 
"/X\(‘-‘)/X\"
Jan 2013
https://pedan.tech/

320310 Posts
Default

Quote:
Originally Posted by Madpoo View Post
It's problematic because the data isn't clear-cut on which bit levels are *actually* skipped versus which ones only appear to be skipped because the client didn't include a starting bit-level.

We've looked into this previously in another thread and I've checked the data... basically there are a lot of entries where it appears that bits may have been skipped if we relied on the data alone, but knowing that some early code didn't include "from 2^x" in the results means that we have no idea where it started, only that it ended up at "to 2^x" bit level.

Trying to double-check the TF on all of those where it was probably done previously would be like looking for needles in haystacks where you're not really sure there's a needle in there at all.
Yeah, but in the case above, one bit level was skipped according to the records.
Mark Rose is offline   Reply With Quote
Old 2015-12-07, 20:03   #4
Mark Rose
 
Mark Rose's Avatar
 
"/X\(‘-‘)/X\"
Jan 2013
https://pedan.tech/

1100100000112 Posts
Default

I found another exponent with a missing bit level: M76903093.

So I did the missing work, and submitted the results:

no factor for M76903093 from 2^62 to 2^64 [mfaktc 0.21 75bit_mul32_gs]

and got:

processing: TF no-factor for M76903093 (262-264)
Error code: 40, error text: TF result for M76903093 was not needed

Which is not true, because there is a gap.
Mark Rose is offline   Reply With Quote
Old 2015-12-07, 20:52   #5
tha
 
tha's Avatar
 
Dec 2002

11011100112 Posts
Default

Quote:
Originally Posted by Mark Rose View Post

processing: TF no-factor for M76903093 (262-264)
Error code: 40, error text: TF result for M76903093 was not needed

Which is not true, because there is a gap.
According to the server data you also did that exponent today from 2^73 to 2^74. Is that correct?
tha is offline   Reply With Quote
Old 2015-12-08, 00:42   #6
Mark Rose
 
Mark Rose's Avatar
 
"/X\(‘-‘)/X\"
Jan 2013
https://pedan.tech/

3,203 Posts
Default

Quote:
Originally Posted by tha View Post
According to the server data you also did that exponent today from 2^73 to 2^74. Is that correct?
Yes.
Mark Rose is offline   Reply With Quote
Old 2015-12-08, 08:19   #7
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

3·1,151 Posts
Default

Quote:
Originally Posted by Madpoo View Post
It's problematic because the data isn't clear-cut on which bit levels are *actually* skipped versus which ones only appear to be skipped because the client didn't include a starting bit-level.

We've looked into this previously in another thread and I've checked the data... basically there are a lot of entries where it appears that bits may have been skipped if we relied on the data alone, but knowing that some early code didn't include "from 2^x" in the results means that we have no idea where it started, only that it ended up at "to 2^x" bit level.

Trying to double-check the TF on all of those where it was probably done previously would be like looking for needles in haystacks where you're not really sure there's a needle in there at all.
What if you only look at exponents above 34M that needs a DC or LL?
ATH is offline   Reply With Quote
Old 2015-12-08, 21:39   #8
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

23·7·61 Posts
Default

Quote:
Originally Posted by Mark Rose View Post
...one bit level was skipped according to the records.
Yeah, and there's the problem... the records for TF may be erroneous, as in it may not show that someone actually did the TF in a certain range.

I don't know why some TF users may have skipped factoring in a certain range. Like in the example you provided at the start, there's an entry for:
"no factor to 2^65"
and then one for:
"no factor from 2^66 to 2^67"

Did Nesowa really skip 2^65 to 2^66 or did they run it and it didn't get reported in? I mean, logically, yeah, the entry *should* be there saying it was done in that range, but some clients didn't seem to do a great job of reporting stuff, especially if they were manually sending results and just grabbed the last thing it did... who knows.

Plus as you've seen, going back and trying to fill in the gaps (if such gaps actually do exist in reality, not just from the reporting perspective) has problems since the server won't accept TF work being done at a lower bit level than whatever is currently the highest bit level that someone has checked in.

Someone may have gone through and "factored the gaps" for some exponents but there's no record since the server isn't accepting them.

Whether Primenet should be modified to accept these "less than max" TF results, I don't know. I guess it couldn't hurt, but someone could take advantage of that to do a bunch of small TF work and hope for a lot of credit by doing tons of work over again, like factoring everything from 2^2 through 2^50 and flooding with results. Maybe it would make sense to accept it but not give any credit besides a nominal amount? Beats me... I'm just thinking of ways someone would take advantage of that kind of thing.
Madpoo is offline   Reply With Quote
Old 2015-12-08, 22:34   #9
Mark Rose
 
Mark Rose's Avatar
 
"/X\(‘-‘)/X\"
Jan 2013
https://pedan.tech/

320310 Posts
Default

Even if no credit were given, it would be good to track that the work is done.

Could the line be added to the history at least?
Mark Rose is offline   Reply With Quote
Old 2015-12-09, 00:52   #10
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

23×857 Posts
Default

Quote:
Originally Posted by Madpoo View Post
Whether Primenet should be modified to accept these "less than max" TF results, I don't know. I guess it couldn't hurt, but someone could take advantage of that to do a bunch of small TF work and hope for a lot of credit by doing tons of work over again, like factoring everything from 2^2 through 2^50 and flooding with results. Maybe it would make sense to accept it but not give any credit besides a nominal amount? Beats me... I'm just thinking of ways someone would take advantage of that kind of thing.
Credit costs nothing. It is just a number. Let people take credit if they wish to. It doesn't matter. Besides, factoring the "gaps" from 1 to 2^64 would be very quick, it is a one time event, and giving credit by the normal computation wouldn't amount to much anyway.
retina is online now   Reply With Quote
Old 2015-12-09, 03:33   #11
Mark Rose
 
Mark Rose's Avatar
 
"/X\(‘-‘)/X\"
Jan 2013
https://pedan.tech/

320310 Posts
Default

I may crawl the exponents and see just how much work there is. I've been refreshing my Java by playing around with PrimeNet XML. This could be my next project.
Mark Rose is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Normalising rent levels Bundu Math 4 2017-09-27 06:14
Racism or low light levels or...? jasong jasong 2 2016-09-25 05:07
Missing bit levels? NBtarheel_33 Data 6 2016-05-31 15:27
Is the data missing or did we miss a couple TF bit levels petrw1 PrimeNet 2 2015-05-07 05:09
Recommended TF bit levels for M(>10^8) NBtarheel_33 Math 19 2008-11-03 17:19

All times are UTC. The time now is 21:57.


Sun Sep 24 21:57:39 UTC 2023 up 11 days, 19:39, 0 users, load averages: 0.95, 0.92, 0.91

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

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