CRUS Statistics and Progress

Last update: Tue 20 Jan 2026 00:30 CST

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

Status Summary by Remaining k
Riesel Sierpinski
Base
not 2x
Base
2x
All
Bases
% Base
not 2x
Base
2x
All
Bases
%
Proven 404 5 409 39.6 399 5 404 39.1
1 k left 103 1 104 10.1 102 3 105 10.2
2 k's left 51 1 52 5.0 49 0 49 4.7
3 k's left 22 0 22 2.1 37 1 38 3.7
3<k's left<=10 94 2 96 9.3 78 2 80 7.8
10<k's left<=100 118 4 122 11.8 127 2 129 12.5
100<k's left<=1e3 82 0 82 7.9 83 0 83 8.0
1e3<k's left<=1e4 56 0 56 5.4 48 0 48 4.7
1e4<k's left<=1e5 34 0 34 3.3 36 0 36 3.5
1e5<k's left<=1e6 27 0 27 2.6 28 0 28 2.7
k's left>1e6 14 0 14 1.4 13 0 13 1.3
Partially tested 2 0 2 0.2 3 0 3 0.3
Just started 0 0 0 0.0 1 0 1 0.1
Not started 12 0 12 1.2 15 0 15 1.5
Total 1019 13 1032   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
ck<=10 0 0 0 2 151 153 0 0 0 11 149 160
10<ck<=100 0 0 0 68 192 260 0 0 0 76 170 246
100<ck<=1e3 0 0 0 153 64 217 0 0 0 136 75 211
1e3<ck<=1e4 0 0 0 92 2 94 0 0 0 103 9 112
1e4<ck<=1e5 0 0 0 123 0 123 0 0 0 122 1 123
1e5<ck<=1e6 0 0 0 74 0 74 0 0 0 71 0 71
1e6<ck<=1e7 0 0 0 50 0 50 0 0 0 46 0 46
1e7<ck<=1e8 0 0 0 28 0 28 0 0 0 28 0 28
1e8<ck<=1e9 0 0 0 12 0 12 0 0 0 15 0 15
ck>1e9 12 0 2 7 0 21 15 1 3 1 0 20


Test Limits by Remaining k
Riesel Test Limits Sierpinski Test Limits
To 2.5K To 10K To 25K To 50K To 100K To 300K To 500K To 1M To 2.5K To 10K To 25K To 50K To 100K To 300K To 500K To 1M
1 k left 0 0 0 0 0 0 65 39 0 0 0 0 0 0 56 49
2 k's left 0 0 0 0 0 0 48 4 0 0 0 0 0 0 43 6
3 k's left 0 0 0 0 0 8 14 0 0 0 0 0 0 15 19 4
3<k's left<=10 0 0 0 0 0 68 24 4 0 0 0 0 0 53 22 5
10<k's left<=100 0 0 0 0 56 36 22 8 0 0 0 0 65 39 19 6
100<k's left<=1e3 0 0 24 0 57 1 0 0 0 0 21 0 60 1 1 0
1e3<k's left<=1e4 0 19 34 0 3 0 0 0 0 10 32 3 3 0 0 0
1e4<k's left<=1e5 18 13 2 0 1 0 0 0 22 13 1 0 0 0 0 0
1e5<k's left<=1e6 26 0 1 0 0 0 0 0 27 0 0 1 0 0 0 0
k's left>1e6 5 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
Total 49 32 61 0 117 113 173 55 56 23 54 4 128 108 160 70


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