mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Conjectures 'R Us (https://www.mersenneforum.org/forumdisplay.php?f=81)
-   -   Some CRUS stats (https://www.mersenneforum.org/showthread.php?t=14014)

gd_barnes 2012-08-20 16:59

It's not fixed on the unproven conjectures page. I hit refresh to make sure. Maybe it'll fix itself with the next hourly update at :30 after the hour.

rogue 2012-08-20 17:06

[QUOTE=gd_barnes;308661]It's not fixed on the unproven conjectures page. I hit refresh to make sure. Maybe it'll fix itself with the next hourly update at :30 after the hour.[/QUOTE]

It could be bad data in the temp files. You should delete those files before the next run so that it can recompute the numbers.

mdettweiler 2012-08-20 17:10

[QUOTE=rogue;308662]It could be bad data in the temp files. You should delete those files before the next run so that it can recompute the numbers.[/QUOTE]
Which files should I delete? I don't see any temp files present:
[code]
max@jeepford:/home/nplb/html/crus/vstats_new$ ls
11_proc_reserv_pages.txt all_ck_riesel.txt
12_proc_conjecture_pages.txt all_ck_sierpinski.txt
21_build_stats_tables.txt crus-proven.htm
22_build_top20_tables.txt crus-stats.htm
23_build_unproven_list.txt crus-top20.htm
24_build_proven_list.txt crus-unproven.htm
31_stats2html.txt riesel_difficulty.txt
32_stats2html.txt riesel_weights.txt
33_stats2html.txt sierpinski_difficulty.txt
41_build_stats_html.txt sierpinski_weights.txt
42_build_top20_html.txt srsieve
43_build_unproven_html.txt stats_script.bat
44_build_proven_html.txt stats_script.sh
[/code]

rogue 2012-08-20 18:03

These files:

riesel_difficulty.txt
riesel_weights.txt
sierpinski_difficulty.txt
sierpinski_weights.txt

These are "temp" in the sense that the scripts will re-create if necessary. Rows in these files are updated when the corresponding conjecture has an update.

MyDogBuster 2012-08-20 19:33

Wow. I had forgotten about those also. Great pages Mark.:tu:

rogue 2012-08-20 20:01

[QUOTE=MyDogBuster;308683]Wow. I had forgotten about those also. Great pages Mark.:tu:[/QUOTE]

Thanks! Hopefully the problem with negative values will be fixed soon.

Now everyone get out there and prove some conjectures. :smile:

mdettweiler 2012-08-20 20:27

Okay, I deleted the temp files and re-ran the script...but I needed to kill it manually when I realized it was going to take a lot longer than I'd thought to regenerate the weights, so it wouldn't run into the impending hourly run in a few minutes. So the pages may be a bit scrambled at the moment...they should be correct after the next hourly run (3:30 CDT/server time) completes.

rogue 2012-08-21 00:18

That is probably due to R63.

gd_barnes 2012-08-21 06:58

Everything looks good with one teensy weensy exception:

On the unproven page, for some reason Riesel base 63 has a zero difficulty even though it should be huge. Perhaps because the difficulty would be so high, it can't handle it. lol

Nice work Mark and Max! :smile:

MyDogBuster 2012-08-21 07:42

The list of proven 1K/2K/3K conjectures
 
Gary,

The end of the following table contains the same info we are manually maintaining in the title thread.

[URL]http://www.noprimeleftbehind.net/crus/tab/CRUS_tab.htm[/URL]

Can we stop maintaining that thread. One of the two is wrong and I'm voting on our manual table as the culprit. :surprised

gd_barnes 2012-08-22 06:19

[QUOTE=MyDogBuster;308745]Gary,

The end of the following table contains the same info we are manually maintaining in the title thread.

[URL]http://www.noprimeleftbehind.net/crus/tab/CRUS_tab.htm[/URL]

Can we stop maintaining that thread. One of the two is wrong and I'm voting on our manual table as the culprit. :surprised[/QUOTE]

I knew it was a duplication for a long time but enjoyed keeping it updated. I also checked the totals with Karsten's pages on many different occassions and they were correct. Have you added the powers-of-2 plus regular conjectures together from Karsten's page to see if it totals to ours on both sides?

Regardless, I'll be glad to keep the manual one updated in the future.


All times are UTC. The time now is 04:47.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.