CRUS Statistics and Progress

Last update: Wed 27 Jan 2021 22:30 CST

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 395 5 400 38.8 385 5 390 37.8
1k conjectures 105 1 106 10.3 109 3 112 10.9
2k conjectures 47 1 48 4.7 49 0 49 4.7
3k conjectures 30 0 30 2.9 40 1 41 4.0
>3k conjectures 321 5 326 31.6 315 4 319 30.9
Partially tested 67 0 67 6.5 56 0 56 5.4
Just started 1 0 1 0.1 0 0 0 0.0
Not started 53 0 53 5.1 64 0 64 6.2
Total 1019 12 1031   1018 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 0 0 0 11
1e6<ck<1e9 35 1 42 12 0 90 47 0 32 10 0 89
1e5<ck<1e6 0 0 23 50 0 73 0 0 22 49 0 71
10000<ck<1e5 0 0 0 123 0 123 0 0 0 122 1 123
1000<ck<10000 0 0 0 92 2 94 0 0 0 106 7 113
100<ck<1000 0 0 0 156 62 218 0 0 0 145 67 212
ck<100 0 0 0 76 336 412 0 0 0 89 315 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 0 51 37 18 0 0 0 0 44 36 32
2k left 0 0 0 0 43 4 1 0 0 0 1 35 9 4
3k left 0 0 0 8 19 3 0 0 0 0 4 32 2 3
4<k<=10 0 0 17 13 47 9 3 0 0 7 18 38 7 4
10<k<=100 0 0 106 9 7 5 3 0 0 114 6 10 5 3
100<k<=1000 26 0 51 0 2 0 0 23 0 57 1 0 0 0
1000<k 7 1 3 0 0 0 0 11 2 1 0 0 0 0
Total 33 1 177 30 169 58 25 34 2 179 30 159 59 46


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