mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > Conjectures 'R Us

Reply
 
Thread Tools
Old 2010-10-04, 04:26   #1
vmod
 
vmod's Avatar
 
Mar 2010
Hampshire, UK

3×17 Posts
Default Some CRUS stats

I've had some time to play with a script and generate some stats about the project.
Attached is an html page (in the familiar greenish format) containing:

Some general stats on the project's progress on conjectures and the work on 1k, 2k, 3k bases

and tables for:
Top-20 proven conjectures by highest CK
Top-20 proven conjectures by largest prime
Top-20 conjectures with 1k remaining by highest CK
Top-20 conjectures with 1k remaining at lowest n by highest weight
Top-20 conjectures with 2ks remaining by highest CK
Top-20 conjectures with 3ks remaining by highest CK
Top-20 conjectures tested to at least n=25K by highest CK
Top-20 conjectures tested to at least n=100K by highest CK

There might be some minor discrepancies (because of bases with k's at different test limits or info on separate pages or powers of 2 bases that were not fully incorporated - I'll see to fix those), however after some generic checking the data look pretty solid.

Perhaps there's more stats and tables that could be generated. For now I think these look thorough and interesting. Enjoy!
Attached Files
File Type: zip CRUSstats.zip (4.5 KB, 172 views)
vmod is offline   Reply With Quote
Old 2010-10-04, 04:42   #2
Mathew
 
Mathew's Avatar
 
Nov 2009

2·52·7 Posts
Default

vmod,

I really like the tables. Thanks
Mathew is offline   Reply With Quote
Old 2010-10-04, 05:26   #3
mdettweiler
A Sunny Moo
 
mdettweiler's Avatar
 
Aug 2007
USA (GMT-5)

11000011010012 Posts
Default

Very cool! Do you by chance have a script that you used to generate this? If so, could you send it to me once you're done fiddling with it? I could then set it up on the noprimeleftbehind.net server so it runs and updates automatically, like what we've done for Karsten's crus_tab script.

(I'll bet Gary is cringing right now at the thought of yet another scheduled script relying on the formatting consistency of his web pages... )
mdettweiler is offline   Reply With Quote
Old 2010-10-04, 15:31   #4
MyDogBuster
 
MyDogBuster's Avatar
 
May 2008
Wilmington, DE

22·23·31 Posts
Default

Nice job. Kinda sums up everything very nicely. I especially liked the 1K to n=100K stat. Gives me an idea where I'm at on that.
MyDogBuster is offline   Reply With Quote
Old 2010-10-04, 17:18   #5
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

10,247 Posts
Default

Excellent work Vmod. A great summary of things. I'll be interested in seeing the power-of-2 bases added.

Max, I don't mind more automated scripts being run from the pages. In the last few weeks, I've attempted to make sure that the formatting stays consistent.
gd_barnes is offline   Reply With Quote
Old 2010-10-07, 13:44   #6
vmod
 
vmod's Avatar
 
Mar 2010
Hampshire, UK

1100112 Posts
Default

Updated.
1. Bases powers of 2 are now included (flooding the last tables (high ck and high n) and R128 claiming top place for largest Riesel prover-prime).

2. Bases with different k's at different search levels (R6, R31 etc) including those with info on individual reservation pages are now correct. (Well, almost all of them. There are about 3 that it's not possible to pick up the lowest search limit displayed on the separate page. Only one would feature on the tables, so it's rather trivial but to be consistent I have a couple of ideas for a workaround, one should be easy I'll send Gary a PM about this).

3. Added the largest group of consecutive proven bases for Riesel/Sierp (Sierpinski wins).

Max, yes there is a script. Somewhat fragmented at the moment but once finalised it will be a single batch(or bash) that can run and produce the page automatically. Indeed like Karsten's script it depends on the formatting consistency of the pages. Spaces, symbols, brackets, parentheses all matter. As long as the current level of detail is maintained, it should work fine.

I'll go on and give the code some good polishing and once it's ready to go I'll send the script to Max to set it running from the server. If someone has any corrections or suggestions on the terminology I've used or anything else let me know.
Attached Files
File Type: zip CRUSstats2.zip (4.7 KB, 157 views)
vmod is offline   Reply With Quote
Old 2010-10-07, 17:34   #7
mdettweiler
A Sunny Moo
 
mdettweiler's Avatar
 
Aug 2007
USA (GMT-5)

11000011010012 Posts
Default

Quote:
Originally Posted by vmod View Post
Updated.
1. Bases powers of 2 are now included (flooding the last tables (high ck and high n) and R128 claiming top place for largest Riesel prover-prime).

2. Bases with different k's at different search levels (R6, R31 etc) including those with info on individual reservation pages are now correct. (Well, almost all of them. There are about 3 that it's not possible to pick up the lowest search limit displayed on the separate page. Only one would feature on the tables, so it's rather trivial but to be consistent I have a couple of ideas for a workaround, one should be easy I'll send Gary a PM about this).

3. Added the largest group of consecutive proven bases for Riesel/Sierp (Sierpinski wins).

Max, yes there is a script. Somewhat fragmented at the moment but once finalised it will be a single batch(or bash) that can run and produce the page automatically. Indeed like Karsten's script it depends on the formatting consistency of the pages. Spaces, symbols, brackets, parentheses all matter. As long as the current level of detail is maintained, it should work fine.

I'll go on and give the code some good polishing and once it's ready to go I'll send the script to Max to set it running from the server. If someone has any corrections or suggestions on the terminology I've used or anything else let me know.
Sounds good. BTW, if the choice is between a batch or bash script, bash would be preferable on this end--the server is running Linux and it can be a little messy to run such things through Wine. Perl would be fine as well.
mdettweiler is offline   Reply With Quote
Old 2010-11-03, 22:09   #8
MyDogBuster
 
MyDogBuster's Avatar
 
May 2008
Wilmington, DE

285210 Posts
Default

What's the status on getting this script into production?
MyDogBuster is offline   Reply With Quote
Old 2010-11-06, 00:09   #9
vmod
 
vmod's Avatar
 
Mar 2010
Hampshire, UK

3×17 Posts
Default

Quote:
Originally Posted by MyDogBuster View Post
What's the status on getting this script into production?
I was away from home on a (unexpected) trip for the second half of October. As a result many things including this script were on hold.
I'll put some final touches over the weekend, make sure there are no obvious errors and send it to Max early next week.
vmod is offline   Reply With Quote
Old 2010-11-06, 00:13   #10
MyDogBuster
 
MyDogBuster's Avatar
 
May 2008
Wilmington, DE

B2416 Posts
Default

Quote:
I was away from home on a (unexpected) trip for the second half of October. As a result many things including this script were on hold.
I'll put some final touches over the weekend, make sure there are no obvious errors and send it to Max early next week.
Thanks for the update. It's a great script.
MyDogBuster is offline   Reply With Quote
Old 2010-11-12, 15:35   #11
vmod
 
vmod's Avatar
 
Mar 2010
Hampshire, UK

3×17 Posts
Default

I've made a linux adaptation and now the script resides in Max's nplb email inbox. For reference and until it goes live I'm attaching the page with the latest update as of this morning. Quickly cross-checking with the work posted since the previous one I see that everything works and updates as it should. When Max finds time to get the script on the server and provided there are no problems it should run on a schedule and be available from the crus website.

If at any time someone notices anything weird or erroneous on the page post here or PM and I'll see what's wrong. Perhaps something with the script or some webpage formatting inconsistency. As this project progresses, there might be some adjustments or additions on the page but for now I think it's comprehensive, correct (as much as possible) and a nice addition to the rest of the webpages.

PS Since I mentioned formatting; Gary on the Sierp powers of 2 webpage on the 2 odd-n remaining k's part you should remove <br> after 85287 (1.6442M). It's not necessary and causes Sierp 2odd-n to be missing from the last two tables.
Attached Files
File Type: zip crus-stats3.zip (4.7 KB, 143 views)
vmod is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Sieving for CRUS rebirther Conjectures 'R Us 599 2020-11-10 07:41
BOINC effort for CRUS gd_barnes Conjectures 'R Us 75 2015-06-17 14:25
What are your CRUS plans? rogue Conjectures 'R Us 35 2013-11-09 09:03
how high will CRUS go Mini-Geek Conjectures 'R Us 1 2010-11-08 20:50
CSVs for stats available + New combined stats opyrt Prime Sierpinski Project 3 2010-05-31 08:13

All times are UTC. The time now is 12:52.

Sat Dec 5 12:52:10 UTC 2020 up 2 days, 9:03, 0 users, load averages: 1.07, 1.43, 1.51

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