Riesel | Sierpinski | |||||||
---|---|---|---|---|---|---|---|---|
Base not 2x |
Base 2x |
All Bases |
% | Base not 2x |
Base 2x |
All Bases |
% | |
Proven | 402 | 5 | 407 | 39.4 | 393 | 5 | 398 | 38.6 |
1 k left | 101 | 1 | 102 | 9.9 | 104 | 3 | 107 | 10.4 |
2 k's left | 54 | 1 | 55 | 5.3 | 50 | 0 | 50 | 4.8 |
3 k's left | 21 | 0 | 21 | 2.0 | 38 | 1 | 39 | 3.8 |
3<k's left<=10 | 96 | 2 | 98 | 9.5 | 78 | 2 | 80 | 7.8 |
10<k's left<=100 | 118 | 4 | 122 | 11.8 | 129 | 2 | 131 | 12.7 |
100<k's left<=1e3 | 82 | 0 | 82 | 7.9 | 83 | 0 | 83 | 8.0 |
1e3<k's left<=1e4 | 49 | 0 | 49 | 4.7 | 48 | 0 | 48 | 4.7 |
1e4<k's left<=1e5 | 40 | 0 | 40 | 3.9 | 36 | 0 | 36 | 3.5 |
1e5<k's left<=1e6 | 21 | 0 | 21 | 2.0 | 25 | 0 | 25 | 2.4 |
k's left>1e6 | 0 | 0 | 0 | 0.0 | 1 | 0 | 1 | 0.1 |
Partially tested | 3 | 0 | 3 | 0.3 | 2 | 0 | 2 | 0.2 |
Just started | 2 | 0 | 2 | 0.2 | 0 | 0 | 0 | 0.0 |
Not started | 30 | 0 | 30 | 2.9 | 32 | 0 | 32 | 3.1 |
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 | 78 | 168 | 246 |
100<ck<=1e3 | 0 | 0 | 0 | 154 | 63 | 217 | 0 | 0 | 0 | 138 | 73 | 211 |
1e3<ck<=1e4 | 0 | 0 | 0 | 92 | 2 | 94 | 0 | 0 | 0 | 104 | 8 | 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 | 1 | 0 | 22 | 0 | 28 | 4 | 0 | 0 | 24 | 0 | 28 |
1e8<ck<=1e9 | 8 | 1 | 0 | 3 | 0 | 12 | 11 | 0 | 0 | 4 | 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 | 5 | 64 | 33 | 0 | 0 | 0 | 0 | 0 | 15 | 47 | 45 |
2 k's left | 0 | 0 | 0 | 0 | 0 | 17 | 34 | 4 | 0 | 0 | 0 | 0 | 0 | 12 | 32 | 6 |
3 k's left | 0 | 0 | 0 | 0 | 0 | 10 | 11 | 0 | 0 | 0 | 0 | 0 | 0 | 21 | 15 | 3 |
3<k's left<=10 | 0 | 0 | 0 | 0 | 0 | 81 | 13 | 4 | 0 | 0 | 0 | 0 | 0 | 64 | 11 | 5 |
10<k's left<=100 | 0 | 0 | 0 | 0 | 81 | 26 | 11 | 4 | 0 | 0 | 0 | 0 | 83 | 32 | 12 | 4 |
100<k's left<=1e3 | 0 | 0 | 26 | 1 | 54 | 1 | 0 | 0 | 0 | 0 | 25 | 0 | 58 | 0 | 0 | 0 |
1e3<k's left<=1e4 | 0 | 22 | 24 | 0 | 3 | 0 | 0 | 0 | 0 | 17 | 25 | 3 | 3 | 0 | 0 | 0 |
1e4<k's left<=1e5 | 34 | 3 | 2 | 0 | 1 | 0 | 0 | 0 | 30 | 5 | 1 | 0 | 0 | 0 | 0 | 0 |
1e5<k's left<=1e6 | 20 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 24 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
k's left>1e6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Total | 54 | 25 | 53 | 1 | 139 | 140 | 133 | 45 | 55 | 22 | 51 | 4 | 144 | 144 | 117 | 63 |