CRUS Statistics and Progress

Last update: Tue 26 Sep 2017 01:30 CDT

Script created by Vassilis Modes with updates by Mark Rodenkirch
Based on pages compiled by Gary Barnes

Status Summary by Conjecture
Riesel Sierpinski
Base
not 2x
Base
2x
All
Bases
% Base
not 2x
Base
2x
All
Bases
%
Proven 387 5 392 38.0 379 5 384 37.2
1k conjectures 104 1 105 10.2 99 3 102 9.9
2k conjectures 36 1 37 3.6 44 0 44 4.3
3k conjectures 35 0 35 3.4 38 1 39 3.8
>3k conjectures 305 5 310 30.1 321 4 325 31.5
Partially tested 2 0 2 0.2 3 0 3 0.3
Just started 3 0 3 0.3 0 0 0 0.0
Not started 147 0 147 14.3 135 0 135 13.1
Total 1019 12 1031   1019 13 1032  


Status Summary by Conjectured k
Riesel Sierpinski
Not
Started
Just
Started
Partially
Tested
Tested, but
not Proven
Proven Total Not
Started
Just
Started
Partially
Tested
Tested, but
not Proven
Proven Total
1e12<ck 6 0 1 0 0 7 7 0 2 0 0 9
1e9<ck<1e12 12 0 1 1 0 14 10 0 1 0 0 11
1e6<ck<1e9 79 0 0 11 0 90 80 0 0 9 0 89
1e5<ck<1e6 48 0 0 25 0 73 36 0 0 35 0 71
10000<ck<1e5 2 3 0 118 0 123 2 0 0 120 1 123
1000<ck<10000 0 0 0 92 2 94 0 0 0 106 7 113
100<ck<1000 0 0 0 158 60 218 0 0 0 150 62 212
ck<100 0 0 0 82 330 412 0 0 0 90 314 404


Status Summary by Remaining k
Riesel Test Limits Sierpinski Test Limits
To 25K To 50K To 100K To 200K To 300K To 500K To 1M To 25K To 50K To 100K To 200K To 300K To 500K To 1M
1k left 0 0 0 45 39 7 14 0 0 0 40 22 18 22
2k left 0 0 5 25 3 2 2 0 0 6 28 2 6 2
3k left 0 0 20 12 2 1 0 0 0 21 13 3 0 2
4<k<=10 0 0 79 15 2 2 2 0 0 74 7 2 3 3
10<k<=100 0 1 119 7 0 4 2 0 1 131 6 1 1 3
100<k<=1000 38 0 26 0 0 0 0 35 3 35 0 0 0 0
1000<k 4 1 2 0 0 0 0 7 2 1 0 0 0 0
Total 42 2 251 104 46 16 20 42 6 268 94 30 28 32


The largest group of consecutive proven Riesel conjectures is 5 from R472 to R476 and from R898 to R902.
The largest group of consecutive proven Sierpinski conjectures is 6 from S898 to S903.