Riesel | Sierpinski | |||||||
---|---|---|---|---|---|---|---|---|
Base not 2x |
Base 2x |
All Bases |
% | Base not 2x |
Base 2x |
All Bases |
% | |
Proven | 403 | 5 | 408 | 39.5 | 397 | 5 | 402 | 39.0 |
1 k left | 101 | 1 | 102 | 9.9 | 101 | 3 | 104 | 10.1 |
2 k's left | 53 | 1 | 54 | 5.2 | 51 | 0 | 51 | 4.9 |
3 k's left | 21 | 0 | 21 | 2.0 | 36 | 1 | 37 | 3.6 |
3<k's left<=10 | 96 | 2 | 98 | 9.5 | 79 | 2 | 81 | 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 | 33 | 0 | 33 | 3.2 | 36 | 0 | 36 | 3.5 |
1e5<k's left<=1e6 | 23 | 0 | 23 | 2.2 | 27 | 0 | 27 | 2.6 |
k's left>1e6 | 2 | 0 | 2 | 0.2 | 3 | 0 | 3 | 0.3 |
Partially tested | 3 | 0 | 3 | 0.3 | 2 | 0 | 2 | 0.2 |
Just started | 1 | 0 | 1 | 0.1 | 0 | 0 | 0 | 0.0 |
Not started | 27 | 0 | 27 | 2.6 | 28 | 0 | 28 | 2.7 |
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 | 12 | 148 | 160 |
10<ck<=100 | 0 | 0 | 0 | 69 | 191 | 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 | 5 | 0 | 0 | 23 | 0 | 28 | 2 | 0 | 0 | 26 | 0 | 28 |
1e8<ck<=1e9 | 5 | 1 | 0 | 6 | 0 | 12 | 9 | 0 | 0 | 6 | 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 | 65 | 37 | 0 | 0 | 0 | 0 | 0 | 7 | 50 | 47 |
2 k's left | 0 | 0 | 0 | 0 | 0 | 16 | 34 | 4 | 0 | 0 | 0 | 0 | 0 | 11 | 34 | 6 |
3 k's left | 0 | 0 | 0 | 0 | 0 | 9 | 12 | 0 | 0 | 0 | 0 | 0 | 0 | 18 | 15 | 4 |
3<k's left<=10 | 0 | 0 | 0 | 0 | 0 | 80 | 14 | 4 | 0 | 0 | 0 | 0 | 0 | 64 | 12 | 5 |
10<k's left<=100 | 0 | 0 | 0 | 0 | 74 | 28 | 16 | 4 | 0 | 0 | 0 | 0 | 79 | 31 | 16 | 4 |
100<k's left<=1e3 | 0 | 0 | 24 | 0 | 57 | 1 | 0 | 0 | 0 | 0 | 21 | 0 | 62 | 0 | 0 | 0 |
1e3<k's left<=1e4 | 0 | 23 | 30 | 0 | 3 | 0 | 0 | 0 | 0 | 13 | 29 | 3 | 3 | 0 | 0 | 0 |
1e4<k's left<=1e5 | 26 | 4 | 2 | 0 | 1 | 0 | 0 | 0 | 29 | 6 | 1 | 0 | 0 | 0 | 0 | 0 |
1e5<k's left<=1e6 | 22 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 26 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
k's left>1e6 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Total | 50 | 27 | 57 | 0 | 135 | 134 | 141 | 49 | 58 | 19 | 51 | 4 | 144 | 131 | 127 | 66 |