CRUS Statistics and Progress

Last update: Fri 19 May 2023 20:30 CDT

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 398 5 403 39.1 388 5 393 38.1
1k conjectures 104 1 105 10.2 107 3 110 10.7
2k conjectures 50 1 51 4.9 51 0 51 4.9
3k conjectures 26 0 26 2.5 38 1 39 3.8
4–10k conjectures 96 2 98 9.5 79 2 81 7.8
>10k conjectures 244 4 248 24.0 255 2 257 24.9
Partially tested 59 0 59 5.7 57 0 57 5.5
Just started 0 0 0 0.0 0 0 0 0.0
Not started 42 0 42 4.1 44 0 44 4.3
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 12 148 160
10<ck<=100 0 0 0 72 188 260 0 0 0 79 167 246
100<ck<=1000 0 0 0 155 62 217 0 0 0 141 70 211
1000<ck<=1e4 0 0 0 92 2 94 0 0 0 105 7 112
1e4<ck<=1e5 0 0 0 123 0 123 0 0 0 122 1 123
1e5<ck<=1e6 0 0 10 64 0 74 0 0 8 63 0 71
1e6<ck<=1e7 0 0 33 17 0 50 0 0 33 13 0 46
1e7<ck<=1e8 16 0 12 0 0 28 14 0 12 2 0 28
1e8<ck<=1e9 9 0 1 2 0 12 13 0 2 0 0 15
ck>1e9 17 0 3 1 0 21 17 0 2 1 0 20


Test Limits by Remaining k
Riesel Test Limits Sierpinski Test Limits
To 10K To 25K To 50K To 100K To 200K To 300K To 500K To 1M To 10K To 25K To 50K To 100K To 200K To 300K To 500K To 1M
1k left 0 0 0 0 0 29 53 23 0 0 0 0 0 19 46 45
2k left 0 0 0 0 0 21 27 3 0 0 0 0 0 18 27 6
3k left 0 0 0 0 0 23 3 0 0 0 0 0 0 25 11 3
3<k<=10 0 0 0 0 0 83 12 3 0 0 0 0 0 66 11 4
10<k<=100 0 0 0 81 8 20 8 4 0 0 0 86 6 27 8 4
100<k<=1000 0 29 1 51 0 2 0 0 0 26 0 55 2 0 0 0
1000<k<=10000 19 16 0 3 0 0 0 0 22 13 3 1 0 0 0 0
>10000k left 2 3 0 1 0 0 0 0 1 2 1 0 0 0 0 0
Total 21 48 1 136 8 178 103 33 23 41 4 142 8 155 103 62


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.