Some CRUS stats

[gd_barnes]

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]

Originally Posted by gd_barnes

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.

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]

Originally Posted by rogue

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.

Which files should I delete? I don't see any temp files present:

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

[rogue]

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]

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

[rogue]

Originally Posted by MyDogBuster

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

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

Now everyone get out there and prove some conjectures.

[mdettweiler]

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]

That is probably due to R63.

[gd_barnes]

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!

[MyDogBuster]

Gary,

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

http://www.noprimeleftbehind.net/crus/tab/CRUS_tab.htm

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]

Originally Posted by MyDogBuster

Gary,

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

http://www.noprimeleftbehind.net/crus/tab/CRUS_tab.htm

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

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.