CRUS Statistics and Progress

Last update: Wed 19 Sep 2018 15: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 388 5 393 38.1 380 5 385 37.3
1k conjectures 109 1 110 10.7 102 3 105 10.2
2k conjectures 42 1 43 4.2 47 0 47 4.6
3k conjectures 23 0 23 2.2 32 1 33 3.2
>3k conjectures 319 5 324 31.4 326 4 330 32.0
Partially tested 2 0 2 0.2 2 0 2 0.2
Just started 1 0 1 0.1 0 0 0 0.0
Not started 135 0 135 13.1 129 0 129 12.5
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 79 0 0 11 0 90 79 0 0 10 0 89
1e5<ck<1e6 38 1 0 34 0 73 33 0 0 38 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 157 61 218 0 0 0 149 63 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 42 38 15 15 0 0 0 35 28 18 24
2k left 0 0 0 27 12 2 2 0 0 0 30 8 6 3
3k left 0 0 1 11 8 3 0 0 0 13 14 3 0 3
4<k<=10 0 0 77 17 2 1 3 0 0 73 8 3 3 3
10<k<=100 0 0 118 9 1 4 2 0 0 128 9 2 1 3
100<k<=1000 23 0 52 0 1 0 0 20 0 57 1 0 0 0
1000<k 5 0 3 0 0 0 0 7 2 1 0 0 0 0
Total 28 0 251 106 62 25 22 27 2 272 97 44 28 36


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.