mersenneforum.org  

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

Reply
 
Thread Tools
Old 2022-12-04, 11:17   #2663
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

5·29·31 Posts
Default

I have a file with an MD5sum mismatch, What's the remedy?

Edit: The answer was to re-transfer the proof file across my sneakernet,

Last fiddled with by paulunderwood on 2022-12-08 at 10:22
paulunderwood is offline   Reply With Quote
Old 2022-12-04, 12:49   #2664
S485122
 
S485122's Avatar
 
"Jacob"
Sep 2006
Brussels, Belgium

1,907 Posts
Default PrimeNet Activity Summary

First of all, thanks for all your work trying to fulfil all the whims of us PimeNet users.

I just looked at the new PrimeNet Activity Summary page dated 2022-12-04 08:00 UTC and have a few remarks.

The number PP1 and PM1-S assignments are not showed in the lower ranges although they make the exponent unavailable.

Still in the lower ranges the number in the TF/ECM column counts a number of assignments, not a number of exponents. But it is not important since those ECM assignments do not make the exponent unavailable.

For each range the numbers of primes should be equal to the sum of the number of Mersenne Primes, factored, verified, unverified, ERR and unchecked. But it seems that on each line where ERR is not 0 the sum is that same number too small (I can't directly point out from which column the number is subtracted while it shouldn't, I suppose it is the number of unverified exponents but it could be from the number of unchecked exponents.)

On the active Assignments page, the PP1 type of work is not selectable and will thus always be shown.

Last fiddled with by S485122 on 2022-12-04 at 12:52 Reason: thanks first ! a bit of editing as well
S485122 is offline   Reply With Quote
Old 2022-12-04, 13:21   #2665
James Heinrich
 
James Heinrich's Avatar
 
"James Heinrich"
May 2004
ex-Northern Ontario

2×3×683 Posts
Default

Quote:
Originally Posted by S485122 View Post
On the active Assignments page, the PP1 type of work is not selectable and will thus always be shown.
Added the appropriate checkbox.
James Heinrich is offline   Reply With Quote
Old 2022-12-04, 16:47   #2666
S485122
 
S485122's Avatar
 
"Jacob"
Sep 2006
Brussels, Belgium

1,907 Posts
Default

Quote:
Originally Posted by James Heinrich View Post
Added the appropriate checkbox.
Merci !
S485122 is offline   Reply With Quote
Old 2022-12-04, 18:24   #2667
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

5·677 Posts
Default

Quote:
Originally Posted by S485122 View Post
First of all, thanks for all your work trying to fulfil all the whims of us PimeNet users.

I just looked at the new PrimeNet Activity Summary page dated 2022-12-04 08:00 UTC and have a few remarks.

The number PP1 and PM1-S assignments are not showed in the lower ranges although they make the exponent unavailable.

Still in the lower ranges the number in the TF/ECM column counts a number of assignments, not a number of exponents. But it is not important since those ECM assignments do not make the exponent unavailable.

For each range the numbers of primes should be equal to the sum of the number of Mersenne Primes, factored, verified, unverified, ERR and unchecked. But it seems that on each line where ERR is not 0 the sum is that same number too small (I can't directly point out from which column the number is subtracted while it shouldn't, I suppose it is the number of unverified exponents but it could be from the number of unchecked exponents.)

On the active Assignments page, the PP1 type of work is not selectable and will thus always be shown.
I'll have to check on that. The new format pulls the same data, just displays it different. The values of each of those is generated separately and probably hasn't been updated to include P+1, etc. I don't remember how long ago the P+1 work became available for assignments, but we probably just need to update the reporting side to account for those.

If you're able to point to a specific exponent range where the totals didn't match what you were expecting, that would be great. The source data was "interesting" and the previous use of a SQL cursor to work out the totals was a little convoluted, so when I rewrote that I had to try and figure out exactly how it's calculating some of those values that aren't directly stored. For example, the source data doesn't directly have how many "untested" exponents are in a range, so that's calculated by subtracting from the total all of the LL/PRP, factors, primes, etc. I think I got it all right but I may have missed the math somewhere.

There was also an interesting "bug" where the "untested" was showing a negative value in a couple of exponent ranges. Turns out that was because a few exponents had a PRP test done on them but later on a factor was found but then the PRP test wasn't marked properly as "PRP, but factor found". That exponent was being counted twice due to the logic involved, and it just took some hunting to find those results and fix them.

That was actually a problem on the old format but because of the way it generated the numbers, the mismatch was being hidden... it wouldn't show a negative value for anything, but if anyone had checked, the numbers wouldn't have totaled up correctly. I think it was in the 4M and 5M exponent ranges. If anyone has that page saved from before a couple days ago, you could check those ranges and see what I mean.

For example, on the 4M range, there's a total of 65,367 exponents, but if you had looked at the "factored" and "verified" column and added them, it would have been 65,368... one too many. :) Because one exponent was being counted in both of those categories by mistake.
Madpoo is offline   Reply With Quote
Old 2022-12-04, 18:39   #2668
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

5×677 Posts
Default

Quote:
Originally Posted by chalsall View Post
Thanks for that knowledge.

Interesting that there isn't a date stamp anywhere...

Coulda. Shoulda. Woulda. Manage now.
When the data generates again at the top of the hour, there will be a line at the bottom of that text output that looks like:
Code:
Report Timestamp : 2022-12-04 19:00
I added it at the bottom so it would have less impact on any parsing tools anyone has. Adding at the top may have broken something, and I've done enough of that already. LOL
Madpoo is offline   Reply With Quote
Old 2022-12-04, 21:38   #2669
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

11,087 Posts
Default

Quote:
Originally Posted by Madpoo View Post
I added it at the bottom so it would have less impact on any parsing tools anyone has. Adding at the top may have broken something, and I've done enough of that already. LOL
LOL. And thanks!
chalsall is offline   Reply With Quote
Old 2022-12-04, 22:12   #2670
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

5×677 Posts
Default

Quote:
Originally Posted by Madpoo View Post
I'll have to check on that. The new format pulls the same data, just displays it different. The values of each of those is generated separately and probably hasn't been updated to include P+1, etc. I don't remember how long ago the P+1 work became available for assignments, but we probably just need to update the reporting side to account for those...
I updated the stats so that for assigned work, it will now include P+1 and P-1 (small) into the P-1 category. And I changed the header row to be Pยฑ1 to reflect that.

Note that I accidentally changed the header on the "available" category for P-1 as well even though there's really no P+1 "available" work to worry about. I fixed that so when it generates again at the next hour it'll just show "P-1" for that header. Just a cosmetic thing until then.

EDIT: Never mind, I manually fixed those headers now so they're correct.

Last fiddled with by Madpoo on 2022-12-04 at 22:14
Madpoo is offline   Reply With Quote
Old 2022-12-04, 22:52   #2671
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

1101001110012 Posts
Default

Quote:
Originally Posted by chalsall View Post
LOL. And thanks!
Sure. And because you asked, on the HTML version I added a blank row every 10M exponent range. That should show up when it generates again in 8 more minutes.
Madpoo is offline   Reply With Quote
Old 2022-12-04, 23:02   #2672
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

11,087 Posts
Default

Quote:
Originally Posted by Mark Rose View Post
Code:
cat foo.json | jq . -r --output csv
๐Ÿคซ
LOL... Does that even work at the command prompt under Wincrows 11? 9^)
chalsall is offline   Reply With Quote
Old 2022-12-04, 23:47   #2673
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

11,087 Posts
Default

Quote:
Originally Posted by Madpoo View Post
That should show up when it generates again in 8 more minutes.
Approaching 00:00 UTC. I will click the reload button at 00:02, just to give your code some time to think... 8^)

Last fiddled with by chalsall on 2022-12-04 at 23:48 Reason: s/reset/reload/; # There is no reset button...
chalsall is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Official "Faits erronรฉs dans de belles-lettres" thread ewmayer Lounge 39 2015-05-19 01:08
Official "all-Greek-to-me Fiction Literature and Cinema" Thread ewmayer Science & Technology 41 2014-04-16 11:54
Official "Lasciate ogne speranza" whinge-thread cheesehead Soap Box 56 2013-06-29 01:42
Official "Ernst is a deceiving bully and George is a meanie" thread cheesehead Soap Box 61 2013-06-11 04:30
Official "String copy Statement Considered Harmful" thread Dubslow Programming 19 2012-05-31 17:49

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


Mon Feb 6 21:31:49 UTC 2023 up 172 days, 19 hrs, 1 user, load averages: 1.28, 1.07, 1.08

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.

โ‰  ยฑ โˆ“ รท ร— ยท โˆ’ โˆš โ€ฐ โŠ— โŠ• โŠ– โŠ˜ โŠ™ โ‰ค โ‰ฅ โ‰ฆ โ‰ง โ‰จ โ‰ฉ โ‰บ โ‰ป โ‰ผ โ‰ฝ โŠ โŠ โŠ‘ โŠ’ ยฒ ยณ ยฐ
โˆ  โˆŸ ยฐ โ‰… ~ โ€– โŸ‚ โซ›
โ‰ก โ‰œ โ‰ˆ โˆ โˆž โ‰ช โ‰ซ โŒŠโŒ‹ โŒˆโŒ‰ โˆ˜ โˆ โˆ โˆ‘ โˆง โˆจ โˆฉ โˆช โจ€ โŠ• โŠ— ๐–• ๐–– ๐–— โŠฒ โŠณ
โˆ… โˆ– โˆ โ†ฆ โ†ฃ โˆฉ โˆช โŠ† โŠ‚ โŠ„ โŠŠ โŠ‡ โŠƒ โŠ… โŠ‹ โŠ– โˆˆ โˆ‰ โˆ‹ โˆŒ โ„• โ„ค โ„š โ„ โ„‚ โ„ต โ„ถ โ„ท โ„ธ ๐“Ÿ
ยฌ โˆจ โˆง โŠ• โ†’ โ† โ‡’ โ‡ โ‡” โˆ€ โˆƒ โˆ„ โˆด โˆต โŠค โŠฅ โŠข โŠจ โซค โŠฃ โ€ฆ โ‹ฏ โ‹ฎ โ‹ฐ โ‹ฑ
โˆซ โˆฌ โˆญ โˆฎ โˆฏ โˆฐ โˆ‡ โˆ† ฮด โˆ‚ โ„ฑ โ„’ โ„“
๐›ข๐›ผ ๐›ฃ๐›ฝ ๐›ค๐›พ ๐›ฅ๐›ฟ ๐›ฆ๐œ€๐œ– ๐›ง๐œ ๐›จ๐œ‚ ๐›ฉ๐œƒ๐œ— ๐›ช๐œ„ ๐›ซ๐œ… ๐›ฌ๐œ† ๐›ญ๐œ‡ ๐›ฎ๐œˆ ๐›ฏ๐œ‰ ๐›ฐ๐œŠ ๐›ฑ๐œ‹ ๐›ฒ๐œŒ ๐›ด๐œŽ๐œ ๐›ต๐œ ๐›ถ๐œ ๐›ท๐œ™๐œ‘ ๐›ธ๐œ’ ๐›น๐œ“ ๐›บ๐œ”