Riesel | Sierpinski | |||||||
---|---|---|---|---|---|---|---|---|
Base not 2x |
Base 2x |
All Bases |
% | Base not 2x |
Base 2x |
All Bases |
% | |
Proven | 404 | 5 | 409 | 39.6 | 398 | 5 | 403 | 39.1 |
1 k left | 102 | 1 | 103 | 10.0 | 102 | 3 | 105 | 10.2 |
2 k's left | 52 | 1 | 53 | 5.1 | 50 | 0 | 50 | 4.8 |
3 k's left | 22 | 0 | 22 | 2.1 | 36 | 1 | 37 | 3.6 |
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 | 128 | 2 | 130 | 12.6 |
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 | 4 | 0 | 4 | 0.4 | 4 | 0 | 4 | 0.4 |
Partially tested | 4 | 0 | 4 | 0.4 | 2 | 0 | 2 | 0.2 |
Just started | 0 | 0 | 0 | 0.0 | 2 | 0 | 2 | 0.2 |
Not started | 20 | 0 | 20 | 1.9 | 24 | 0 | 24 | 2.3 |
Total | 1019 | 13 | 1032 | 1019 | 13 | 1032 |
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 | 137 | 74 | 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 | 1 | 0 | 0 | 27 | 0 | 28 | 0 | 1 | 0 | 27 | 0 | 28 |
1e8<ck<=1e9 | 2 | 0 | 1 | 9 | 0 | 12 | 7 | 1 | 0 | 7 | 0 | 15 |
ck>1e9 | 17 | 0 | 3 | 1 | 0 | 21 | 17 | 0 | 2 | 1 | 0 | 20 |
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 | 64 | 39 | 0 | 0 | 0 | 0 | 0 | 1 | 57 | 47 |
2 k's left | 0 | 0 | 0 | 0 | 0 | 1 | 48 | 4 | 0 | 0 | 0 | 0 | 0 | 1 | 43 | 6 |
3 k's left | 0 | 0 | 0 | 0 | 0 | 9 | 13 | 0 | 0 | 0 | 0 | 0 | 0 | 17 | 16 | 4 |
3<k's left<=10 | 0 | 0 | 0 | 0 | 0 | 69 | 23 | 4 | 0 | 0 | 0 | 0 | 0 | 59 | 16 | 5 |
10<k's left<=100 | 0 | 0 | 0 | 0 | 62 | 36 | 19 | 5 | 0 | 0 | 0 | 0 | 69 | 38 | 17 | 6 |
100<k's left<=1e3 | 0 | 0 | 24 | 0 | 57 | 1 | 0 | 0 | 0 | 0 | 21 | 0 | 60 | 2 | 0 | 0 |
1e3<k's left<=1e4 | 0 | 20 | 33 | 0 | 3 | 0 | 0 | 0 | 0 | 12 | 30 | 3 | 3 | 0 | 0 | 0 |
1e4<k's left<=1e5 | 18 | 13 | 2 | 0 | 1 | 0 | 0 | 0 | 23 | 12 | 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 | 4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Total | 48 | 33 | 60 | 0 | 123 | 116 | 167 | 52 | 54 | 24 | 52 | 4 | 132 | 118 | 149 | 68 |