Condensed table of all conjectures for bases ≤ 1030

Last update: [2024-03-18 21:30:06 CDT]

Script created by Karsten Bonath, ported to Linux by Max Dettweiler
Based on pages compiled by Gary Barnes

Colors:
proven  1 k left  2 k's left  3 k's left  not started  just started 
[x k's]: Mouse-over to show remaining k's with search ranges.

Riesel conjectures:

base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
none 2
power 2
conjectures
3
63064644938
99049 k's [100K]
4
power 2
conjectures
5
346802
53 k's [4.7M]
6
84687
1597 (5.6M)
7
408034255082
37768 k's [k≤2G at n>=25K]
8
power 2
conjectures
9
74
none - proven
10
10176
4421 (3.9M)
11
862
none - proven
12
376
none - proven
13
302
none - proven
14
4
none - proven
15
36370321851498
14 k's [k≤20M at n>=250K]
16
power 2
conjectures
17
86
none - proven
18
246
none - proven
19
1119866
947 k's [100K]
20
8
none - proven
21
560
none - proven
22
4461
3656 (5M)
23
476
404 (2M)
24
32336
68 k's [260K]
25
346802
89 k's [300K]
26
149
none - proven
27
804
706 (5M)
28
9078
[4 k's]
29
4
none - proven
30
4928
[7 k's]
31
134718
55758 (3M)
32
power 2
conjectures
33
764
none - proven
34
6
none - proven
35
287860
418 k's [100K]
36
116364
30 k's [434K]
37
7772
[12 k's]
38
13
none - proven
39
1352534
2134 k's [100K]
40
3386517
1117 k's [100K]
41
8
none - proven
42
15137
[24 k's]
43
672
none - proven
44
4
none - proven
45
22564
[6 k's]
46
8177
[7 k's]
47
14
none - proven
48
3226
[20 k's]
49
2414
none - proven
50
16
none - proven
51
8632534
10432 k's [25K]
52
85967
99 k's [100K]
53
5392
64 k's [250K]
54
21
none - proven
55
6852
[5 k's]
56
20
none - proven
57
144
none - proven
58
105788
255 k's [100K]
59
4
none - proven
60
20558
[21 k's]
61
13484
[2 k's]
62
8
none - proven
63
187258666
177330 k's [25K]
64
power 2
conjectures
65
10
none - proven
66
101954772
65927 k's [25K]
67
3144
2228 (1M)
68
22
none - proven
69
6
none - proven
70
6176
[2 k's]
71
1132052528
4976 k's [k≤1M at n=10K]
72
293
none - proven
73
408
none - proven
74
4
none - proven
75
4086
[8 k's]
76
120
none - proven
77
14
none - proven
78
90059
40 k's [250K]
79
1965996
4993 k's [100K]
80
253
[2 k's]
81
74
none - proven
82
22326
66 k's [100K]
83
8
none - proven
84
16
none - proven
85
398534880
449217 k's [2.5K]
86
28
none - proven
87
1660
[10 k's]
88
9702
[19 k's]
89
4
none - proven
90
27
none - proven
91
229058
29 k's [400K]
92
32
none - proven
93
612
424 (1M)
94
39
29 (1M)
95
2510
[8 k's]
96
38995
[11 k's]
97
26354
132 k's [100K]
98
10
none - proven
99
144
none - proven
100
750
none - proven
101
118
none - proven
102
1635
[4 k's]
103
1158
924 (1M)
104
4
none - proven
105
170606
47 k's [100K]
106
1626615
590 k's [100K]
107
686
[13 k's]
108
13406
75 k's [100K]
109
144
84 (1M)
110
38
none - proven
111
12018
[6 k's]
112
3843
[2 k's]
113
20
none - proven
114
24
none - proven
115
78966
48 k's [100K]
116
14
none - proven
117
6432
[8 k's]
118
50
none - proven
119
4
none - proven
120
166616308
not started
121
3294
none - proven
122
14
none - proven
123
154
24 (1M)
124
3730449
54450 k's [10K]
125
8
none - proven
126
2767077
4532 k's [25K]
127
93902377422
not started
128
power 2
conjectures
129
14
none - proven
130
2443673
4115 k's [25K]
131
10
none - proven
132
20
none - proven
133
3684
926 (1M)
134
4
none - proven
135
3112
[6 k's]
136
90693
51 k's [100K]
137
22
none - proven
138
1806
[5 k's]
139
6
none - proven
140
46
none - proven
141
960608630
just started
142
12
none - proven
143
1226
[14 k's]
144
59
none - proven
145
257324
120 k's [100K]
146
8
none - proven
147
79956
166 k's [100K]
148
5214
[4 k's]
149
4
none - proven
150
49074
71 k's [100K]
151
349922
365 k's [320K]
152
16
none - proven
153
34
none - proven
154
216
none - proven
155
14
none - proven
156
2113322677
not started
157
3554
[4 k's]
158
52
[2 k's]
159
516
none - proven
160
183
116 (1M)
161
3154
[14 k's]
162
3259
[2 k's]
163
372
254 (1M)
164
4
none - proven
165
646
none - proven
166
127754
91 k's [100K]
167
8
none - proven
168
4744
41 k's [100K]
169
186
none - proven
170
20
none - proven
171
112790
75 k's [100K]
172
1262
[3 k's]
173
28
22 (1M)
174
6
none - proven
175
278467080
not started
176
58
none - proven
177
268
none - proven
178
87
none - proven
179
4
none - proven
180
7674582
110328 k's [2.5K]
181
300
168 (1M)
182
62
none - proven
183
208
none - proven
184
36
none - proven
185
32
none - proven
186
67
none - proven
187
3524
[4 k's]
188
8
none - proven
189
56
none - proven
190
626861
274 k's [100K]
191
260
[2 k's]
192
13897
113 k's [100K]
193
80802
232 k's [100K]
194
4
none - proven
195
582483712
not started
196
2215067
1992 k's [25K]
197
10
none - proven
198
3662
29 k's [100K]
199
13224
43 k's [100K]
200
68
none - proven
201
3669230
9769 k's [25K]
202
57
none - proven
203
14
none - proven
204
81
none - proven
205
8450016
33171 k's [2.5K]
206
22
none - proven
207
38572
280 k's [100K]
208
56
none - proven
209
4
none - proven
210
80176412
239583 k's [2.5K]
211
5058
[4 k's]
212
70
[4 k's]
213
534
none - proven
214
44
11 (1M)
215
15358
237 k's [100K]
216
92
none - proven
217
4688
[2 k's]
218
74
[2 k's]
219
34
none - proven
220
324
none - proven
221
38
32 (1M)
222
88530
258 k's [100K]
223
54704
402 k's [100K]
224
4
none - proven
225
168032
128 k's [100K]
226
158447
509 k's [25K]
227
20
none - proven
228
16718
121 k's [100K]
229
24
none - proven
230
8
none - proven
231
151584
55 k's [100K]
232
501417
884 k's [25K]
233
14
10 (800K)
234
46
6 (800K)
235
5378
[7 k's]
236
80
none - proven
237
50
none - proven
238
5415261
57141 k's [2.5K]
239
4
none - proven
240
2952972
56648 k's [2.5K]
241
15918
[16 k's]
242
14
none - proven
243
11896
31 k's [210K]
244
6
none - proven
245
40
none - proven
246
77
none - proven
247
469184
1913 k's [25K]
248
82
none - proven
249
14256
133 k's [100K]
250
682217
2480 k's [25K]
251
8
none - proven
252
45
none - proven
253
1904
1854 (1M)
254
4
none - proven
255
205022
337 k's [66K]
256
power 2
conjectures
257
44
none - proven
258
36
none - proven
259
14
none - proven
260
28
none - proven
261
13061094
58155 k's [2.5K]
262
27351
118 k's [100K]
263
10
none - proven
264
54
none - proven
265
20
none - proven
266
88
none - proven
267
1432662
5761 k's [10K]
268
1344
[9 k's]
269
4
none - proven
270
21681
69 k's [100K]
271
50389004
320252 k's [2.5K]
272
8
none - proven
273
7262
[9 k's]
274
21
none - proven
275
22
4 (600K)
276
1552307
6374 k's [10K]
277
7088
[20 k's]
278
14
none - proven
279
6
none - proven
280
513613045571841
not started
281
328
[2 k's]
282
19139
229 k's [100K]
283
218042
1118 k's [25K]
284
4
none - proven
285
12
none - proven
286
83
none - proven
287
14276
156 k's [100K]
288
613
[2 k's]
289
86
none - proven
290
98
none - proven
291
16410
[24 k's]
292
34682
219 k's [100K]
293
8
none - proven
294
119
none - proven
295
664484
880 k's [25K]
296
10
none - proven
297
130076
678 k's [25K]
298
116
[2 k's]
299
4
none - proven
300
85
none - proven
301
1152584
734 k's [25K]
302
13
none - proven
303
85368
1077 k's [25K]
304
426
[6 k's]
305
16
none - proven
306
39295
70 k's [100K]
307
8
none - proven
308
104
[5 k's]
309
94
none - proven
310
363869
1470 k's [25K]
311
14
none - proven
312
173401
3577 k's [10K]
313
8634
[9 k's]
314
4
none - proven
315
900
[2 k's]
316
287520
175 k's [100K]
317
14
none - proven
318
144
122 (1M)
319
1526
[3 k's]
320
106
[2 k's]
321
22
8 (600K)
322
18
none - proven
323
93896
1836 k's [25K]
324
14
none - proven
325
112882226
not started
326
110
50 (600K)
327
696
[3 k's]
328
48
8 (1M)
329
4
none - proven
330
16527822
99767 k's [2.5K]
331
470030
486 k's [100K]
332
38
18 (600K)
333
502
16 (1M)
334
66
14 (600K)
335
8
none - proven
336
63018
67 k's [100K]
337
378
[2 k's]
338
74
[4 k's]
339
16
none - proven
340
32
none - proven
341
20
none - proven
342
629
[6 k's]
343
1676
[5 k's]
344
4
none - proven
345
1295243216
not started
346
2119475
19648 k's [2.5K]
347
28
22 (600K)
348
18496
143 k's [100K]
349
6
none - proven
350
14
none - proven
351
27708
[15 k's]
352
2426
[12 k's]
353
58
none - proven
354
141
71 (600K)
355
46190
56 k's [100K]
356
8
none - proven
357
584078
1867 k's [25K]
358
27606383
265552 k's [2.5K]
359
4
none - proven
360
3782
36 k's [100K]
361
8870
[4 k's]
362
10
none - proven
363
64
none - proven
364
74
none - proven
365
62
none - proven
366
2109
1747 (2M)
367
620
none - proven
368
40
36 (600K)
369
36
none - proven
370
531
[2 k's]
371
32
none - proven
372
4477
[13 k's]
373
74
18 (600K)
374
4
none - proven
375
836460
1655 k's [25K]
376
144
none - proven
377
8
none - proven
378
1517
[6 k's]
379
56
none - proven
380
128
[2 k's]
381
168652
182 k's [100K]
382
13404
132 k's [100K]
383
208
[6 k's]
384
6
none - proven
385
3449490
3683 k's [10K]
386
44
none - proven
387
98
none - proven
388
205391
1924 k's [25K]
389
4
none - proven
390
137
none - proven
391
1820454
4989 k's [10K]
392
74
7 (600K)
393
11358
35 k's [100K]
394
159
none - proven
395
10
none - proven
396
41672
111 k's [100K]
397
172134
688 k's [25K]
398
8
7 (600K)
399
1558133564
not started
400
20080878
111272 k's [2.5K]
401
68
38 (600K)
402
92
32 (600K)
403
24744
60 k's [100K]
404
4
none - proven
405
146
none - proven
406
593
[2 k's]
407
16
none - proven
408
5316
40 k's [100K]
409
534
[2 k's]
410
136
[3 k's]
411
60254
122 k's [100K]
412
69
6 (600K)
413
22
none - proven
414
84
none - proven
415
3246826818
not started
416
140
55 (600K)
417
56
none - proven
418
11733
56 k's [100K]
419
4
none - proven
420
6548233
63188 k's [2.5K]
421
73640
50 k's [100K]
422
46
[5 k's]
423
1536
[7 k's]
424
69
[3 k's]
425
70
none - proven
426
62
none - proven
427
2080614
16442 k's [2.5K]
428
10
none - proven
429
44
none - proven
430
45152
[13 k's]
431
15380
228 k's [100K]
432
192596
5417 k's [10K]
433
92
none - proven
434
4
none - proven
435
31732727570
not started
436
645
[2 k's]
437
14
none - proven
438
2194
28 k's [100K]
439
144
[2 k's]
440
8
none - proven
441
118
none - proven
442
54047
71 k's [100K]
443
28
none - proven
444
179
[5 k's]
445
43338
91 k's [100K]
446
74
[3 k's]
447
148
[2 k's]
448
131556
786 k's [25K]
449
4
none - proven
450
122
none - proven
451
89610
63 k's [100K]
452
59
[3 k's]
453
4658266
96179 k's [2.5K]
454
6
none - proven
455
20
none - proven
456
76303920
just started
457
747684
5773 k's [10K]
458
16
11 (700K)
459
24
none - proven
460
56243
101 k's [100K]
461
8
none - proven
462
2924772
50851 k's [2.5K]
463
668
[2 k's]
464
4
none - proven
465
706690
1898 k's [25K]
466
21450
54 k's [100K]
467
14
none - proven
468
202
[4 k's]
469
516
422 (600K)
470
158
137 (600K)
471
750
[2 k's]
472
87
none - proven
473
14
none - proven
474
39
none - proven
475
50
none - proven
476
52
none - proven
477
14102
[25 k's]
478
370268
7571 k's [10K]
479
4
none - proven
480
38
none - proven
481
25956422
106341 k's [2.5K]
482
8
none - proven
483
2584
[13 k's]
484
96
none - proven
485
6952
91 k's [100K]
486
1525283
27683 k's [2.5K]
487
2256
[9 k's]
488
164
[8 k's]
489
6
none - proven
490
48051
87 k's [100K]
491
40
none - proven
492
86
none - proven
493
170
92 (600K)
494
4
none - proven
495
117150
112 k's [100K]
496
638
57 (600K)
497
82
[2 k's]
498
96306
835 k's [25K]
499
2354
[17 k's]
500
166
[2 k's]
501
862
[4 k's]
502
7136
70 k's [100K]
503
8
none - proven
504
201
94 (600K)
505
714
68 (600K)
506
14
none - proven
507
11812
[25 k's]
508
1225673
31004 k's [2.5K]
509
4
none - proven
510
218
[2 k's]
511
40789000085994
not started
512
power 2
conjectures
513
221706
2095 k's [25K]
514
104
none - proven
515
44
none - proven
516
142
87 (600K)
517
36
none - proven
518
172
[5 k's]
519
14
none - proven
520
1128
[3 k's]
521
28
none - proven
522
9797
149 k's [100K]
523
132
none - proven
524
4
none - proven
525
8364188
53207 k's [2.5K]
526
900
[3 k's]
527
10
none - proven
528
47
none - proven
529
54
none - proven
530
58
[4 k's]
531
20
none - proven
532
573
none - proven
533
88
74 (600K)
534
106
[2 k's]
535
746580
3106 k's [10K]
536
178
[9 k's]
537
113788
1041 k's [25K]
538
8
none - proven
539
4
none - proven
540
800138
1121 k's [25K]
541
15546458
121957 k's [2.5K]
542
182
[11 k's]
543
2500
40 k's [100K]
544
219
none - proven
545
8
none - proven
546
11732602
75963 k's [2.5K]
547
1556732
3234 k's [25K]
548
13
7 (600K)
549
34
6 (600K)
550
666
[5 k's]
551
22
10 (600K)
552
78
[4 k's]
553
31854
50 k's [100K]
554
4
none - proven
555
58202
236 k's [100K]
556
26019699
268631 k's [2.5K]
557
32
none - proven
558
259
[7 k's]
559
6
none - proven
560
10
none - proven
561
5975464
5018 k's [10K]
562
191
none - proven
563
46
28 (600K)
564
114
[2 k's]
565
20598
32 k's [200K]
566
8
none - proven
567
2202
[6 k's]
568
19347
90 k's [100K]
569
4
none - proven
570
12511182
250358 k's [2.5K]
571
12
none - proven
572
190
[8 k's]
573
204
6 (600K)
574
24
none - proven
575
77600
979 k's [25K]
576
17798
71 k's [100K]
577
18
none - proven
578
142
[10 k's]
579
204
none - proven
580
167
none - proven
581
98
2 (600K)
582
54
52 (600K)
583
2846
[10 k's]
584
4
none - proven
585
14271738
138122 k's [2.5K]
586
5906982
52466 k's [2.5K]
587
8
none - proven
588
94
[2 k's]
589
1004
[4 k's]
590
196
[3 k's]
591
30820
55 k's [100K]
592
17196
158 k's [100K]
593
10
none - proven
594
6
none - proven
595
291890
91 k's [100K]
596
200
none - proven
597
116
none - proven
598
43728
231 k's [100K]
599
4
none - proven
600
102772
911 k's [25K]
601
818
[3 k's]
602
68
[2 k's]
603
11324
41 k's [100K]
604
21
none - proven
605
100
none - proven
606
74660
247 k's [100K]
607
51584
513 k's [25K]
608
8
none - proven
609
184
none - proven
610
753
234 (600K)
611
118
10 (600K)
612
105437
969 k's [25K]
613
34692
129 k's [100K]
614
4
none - proven
615
34
12 (600K)
616
23447
26 k's [100K]
617
104
none - proven
618
2517
43 k's [100K]
619
216
6 (600K)
620
22
none - proven
621
190642
516 k's [25K]
622
90
none - proven
623
14
none - proven
624
569819
11967 k's [10K]
625
26468
59 k's [130K]
626
10
none - proven
627
129182
1222 k's [25K]
628
186
none - proven
629
4
none - proven
630
24412760
207032 k's [2.5K]
631
149801300
not started
632
14
none - proven
633
1004
[5 k's]
634
126
29 (1M)
635
52
none - proven
636
27
9 (1M)
637
144
none - proven
638
70
[4 k's]
639
2136
[13 k's]
640
10349
35 k's [100K]
641
298
[8 k's]
642
3214
57 k's [100K]
643
300
[2 k's]
644
4
none - proven
645
18
none - proven
646
30410
85 k's [100K]
647
688
[25 k's]
648
237
[3 k's]
649
14
none - proven
650
8
none - proven
651
4965144
6754 k's [10K]
652
600759
4946 k's [10K]
653
110
[6 k's]
654
261
[9 k's]
655
3294
[10 k's]
656
74
none - proven
657
22
none - proven
658
22407
98 k's [100K]
659
4
none - proven
660
322567
3922 k's [10K]
661
2518794379382
not started
662
14
7 (600K)
663
1244
[4 k's]
664
6
none - proven
665
38
8 (600K)
666
898
none - proven
667
834
[2 k's]
668
14
11 (600K)
669
66
none - proven
670
243
none - proven
671
8
none - proven
672
41440
261 k's [100K]
673
1617938
14781 k's [2.5K]
674
4
none - proven
675
37816
185 k's [100K]
676
149
none - proven
677
112
[4 k's]
678
195
[5 k's]
679
186
174 (600K)
680
226
none - proven
681
32
none - proven
682
40979
209 k's [100K]
683
20
none - proven
684
46
none - proven
685
518792
3654 k's [10K]
686
230
[2 k's]
687
4686
[12 k's]
688
105
9 (600K)
689
4
none - proven
690
42053568
not started
691
4306490
27776 k's [2.5K]
692
8
none - proven
693
14922
47 k's [100K]
694
279
[2 k's]
695
28
26 (600K)
696
288
[2 k's]
697
4536
[17 k's]
698
232
[17 k's]
699
6
none - proven
700
343498413
not started
701
14
none - proven
702
75
32 (600K)
703
4454
[14 k's]
704
4
none - proven
705
1881842
16419 k's [2.5K]
706
302
none - proven
707
14
none - proven
708
41121
236 k's [100K]
709
924
[6 k's]
710
80
[4 k's]
711
4540
[15 k's]
712
185
47 (1M)
713
8
none - proven
714
12
none - proven
715
9745298
14622 k's [2.5K]
716
238
[4 k's]
717
30514
203 k's [100K]
718
1023
[22 k's]
719
4
none - proven
720
104
[3 k's]
721
3966270
21072 k's [2.5K]
722
242
[8 k's]
723
12852
85 k's [100K]
724
59
none - proven
725
10
none - proven
726
12751579
140272 k's [2.5K]
727
246
8 (600K)
728
212722
24784 k's [2.5K]
729
74
none - proven
730
171
170 (600K)
731
62
34 (600K)
732
211836
5022 k's [10K]
733
4038
[23 k's]
734
4
none - proven
735
3536594
38151 k's [2.5K]
736
870
560 (600K)
737
40
[2 k's]
738
13738
123 k's [100K]
739
36
none - proven
740
14
none - proven
741
160
none - proven
742
21546
43 k's [100K]
743
32
14 (600K)
744
299
[7 k's]
745
31706
[17 k's]
746
34
[2 k's]
747
120
[4 k's]
748
855
[7 k's]
749
4
none - proven
750
27353
77 k's [100K]
751
85682
233 k's [100K]
752
101
[6 k's]
753
144
[4 k's]
754
1056
[15 k's]
755
8
none - proven
756
54604682
not started
757
27666
62 k's [100K]
758
10
none - proven
759
56
none - proven
760
22676277
199860 k's [2.5K]
761
128
32 (600K)
762
8
none - proven
763
925778
6594 k's [10K]
764
4
none - proven
765
2114542
25003 k's [2.5K]
766
1002
[5 k's]
767
172
[6 k's]
768
55367
855 k's [25K]
769
6
none - proven
770
256
[4 k's]
771
83954
64 k's [100K]
772
27054
587 k's [25K]
773
44
38 (600K)
774
61
[2 k's]
775
172368
537 k's [25K]
776
8
none - proven
777
23485096
384941 k's [2.5K]
778
696
[4 k's]
779
4
none - proven
780
285
[2 k's]
781
254
none - proven
782
28
14 (600K)
783
302
104 (600K)
784
156
116 (600K)
785
130
none - proven
786
37209
472 k's [25K]
787
27332
159 k's [100K]
788
14
none - proven
789
236
[2 k's]
790
225
48 (600K)
791
10
none - proven
792
1158
[6 k's]
793
1834536
18639 k's [2.5K]
794
4
none - proven
795
5770
[23 k's]
796
27199220
just started
797
8
none - proven
798
339
[3 k's]
799
1885767686976
not started
800
88
8 (1M)
801
40381102
494394 k's [2.5K]
802
408
[10 k's]
803
68
[2 k's]
804
6
none - proven
805
92
none - proven
806
268
[2 k's]
807
32824
198 k's [100K]
808
59058
947 k's [25K]
809
4
none - proven
810
35683
223 k's [100K]
811
260
none - proven
812
13
4 (400K)
813
186
122 (600K)
814
164
[2 k's]
815
16
none - proven
816
343
[3 k's]
817
6189398
74092 k's [2.5K]
818
8
none - proven
819
124
none - proven
820
390795
527 k's [25K]
821
958
[12 k's]
822
156369
5616 k's [10K]
823
8262
68 k's [100K]
824
4
none - proven
825
176
none - proven
826
131420459393
not started
827
14
none - proven
828
144
[2 k's]
829
84
none - proven
830
278
[5 k's]
831
1721084
25415 k's [2.5K]
832
50
none - proven
833
140
104 (600K)
834
166
none - proven
835
56
none - proven
836
32
8 (400K)
837
2094
[6 k's]
838
180384
3293 k's [10K]
839
4
none - proven
840
84608
760 k's [25K]
841
24090
[12 k's]
842
280
[22 k's]
843
8652
67 k's [100K]
844
14
none - proven
845
46
none - proven
846
34
none - proven
847
1357806
12433 k's [2.5K]
848
284
[5 k's]
849
16
none - proven
850
369
221 (400K)
851
70
none - proven
852
8529
81 k's [100K]
853
62
none - proven
854
4
none - proven
855
7419914968008
not started
856
108467
527 k's [25K]
857
10
none - proven
858
24053
249 k's [100K]
859
44
none - proven
860
8
none - proven
861
323168
703 k's [25K]
862
26417
158 k's [100K]
863
14
none - proven
864
174
114 (400K)
865
21155948
236643 k's [2.5K]
866
35
none - proven
867
92
8 (500K)
868
78
none - proven
869
4
none - proven
870
66
none - proven
871
16460
[13 k's]
872
98
[4 k's]
873
208
[2 k's]
874
6
none - proven
875
74
none - proven
876
51768432
not started
877
50654
471 k's [25K]
878
292
36 k's [100K]
879
34
24 (400K)
880
48720
180 k's [100K]
881
8
none - proven
882
25606
253 k's [100K]
883
324
194 (500K)
884
4
none - proven
885
1041492
3952 k's [10K]
886
1758033
29469 k's [2.5K]
887
38
[2 k's]
888
69
64 (400K)
889
266
[4 k's]
890
10
none - proven
891
79570190
not started
892
189
[3 k's]
893
148
[3 k's]
894
284
[5 k's]
895
152774
1042 k's [25K]
896
14
none - proven
897
19308
45 k's [100K]
898
30
none - proven
899
4
none - proven
900
52
none - proven
901
12
none - proven
902
8
none - proven
903
24746
39 k's [100K]
904
1266
[11 k's]
905
152
22 (400K)
906
171998037
not started
907
4050362
89943 k's [2.5K]
908
29
none - proven
909
6
none - proven
910
5005381602981
not started
911
20
none - proven
912
331
[9 k's]
913
1368714
16764 k's [2.5K]
914
4
none - proven
915
3970630
57194 k's [2.5K]
916
132
none - proven
917
16
none - proven
918
11946
75 k's [100K]
919
24
none - proven
920
103
[3 k's]
921
10667550454
not started
922
27
none - proven
923
8
none - proven
924
36
none - proven
925
44751264
104068 k's [2.5K]
926
104
[6 k's]
927
5886
48 k's [100K]
928
32514
629 k's [25K]
929
4
none - proven
930
20
none - proven
931
3960
[2 k's]
932
310
[9 k's]
933
389944
8116 k's [10K]
934
21
none - proven
935
14
none - proven
936
100260
90 k's [100K]
937
1140
[9 k's]
938
299
[23 k's]
939
46
none - proven
940
36929
242 k's [100K]
941
158
[2 k's]
942
206
[4 k's]
943
18822
90 k's [100K]
944
4
none - proven
945
386
[2 k's]
946
2156122023
not started
947
80
none - proven
948
220
[4 k's]
949
56
none - proven
950
316
[6 k's]
951
50
none - proven
952
5411
34 k's [100K]
953
266
[5 k's]
954
381
[13 k's]
955
1333860
12170 k's [2.5K]
956
10
none - proven
957
1438
[7 k's]
958
174
8 (815K)
959
4
none - proven
960
61681833328
not started
961
38
none - proven
962
106
[6 k's]
963
22349616
495490 k's [2.5K]
964
194
none - proven
965
8
none - proven
966
699327630
not started
967
408
242 (500K)
968
16
4 (500K)
969
96
none - proven
970
447630
3431 k's [10K]
971
3578
82 k's [100K]
972
279
[8 k's]
973
21914
83 k's [100K]
974
4
none - proven
975
282032
1583 k's [25K]
976
154367
545 k's [25K]
977
164
[5 k's]
978
177
[2 k's]
979
6
none - proven
980
110
[2 k's]
981
112303013130
not started
982
4914
71 k's [100K]
983
14
none - proven
984
196
[3 k's]
985
86
none - proven
986
8
none - proven
987
170
[3 k's]
988
300
[2 k's]
989
4
none - proven
990
1684699
24510 k's [2.5K]
991
11358
[24 k's]
992
172
[9 k's]
993
8
none - proven
994
399
[4 k's]
995
82
20 (500K)
996
52840
668 k's [25K]
997
101526
1027 k's [25K]
998
38
[4 k's]
999
3166
56 k's [100K]
1000
12
none - proven
1001
1168
[3 k's]
1002
237
none - proven
1003
396
[2 k's]
1004
4
none - proven
1005
244960
1884 k's [25K]
1006
1538
[8 k's]
1007
8
none - proven
1008
623563
15807 k's [2.5K]
1009
1314
[6 k's]
1010
338
[16 k's]
1011
208
none - proven
1012
946143
16390 k's [10K]
1013
14
none - proven
1014
6
none - proven
1015
11049380
41219 k's [2.5K]
1016
112
none - proven
1017
900
[5 k's]
1018
111284
2160 k's [25K]
1019
4
2 (600K)
1020
94655888
not started
1021
218
none - proven
1022
10
none - proven
1023
68394
142 k's [100K]
1024
power 2
conjectures
1025
20
8 (1.075M)
1026
157
none - proven
1027
21332
32 k's [250K]
1028
8
none - proven
1029
104
26 (1M)
1030
54642
125 k's [100K]

Statistics:
bases all over: 1029
bases proven: 402
bases not started: 41
bases with 1 k-value: 101
bases with 2 k-values: 54
bases with 3 k-values: 21
remaining k-values: 6720018

Riesel conjectures that are powers of 2:

base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
2
509203
44 k's [10M]
2 2nd conjecture
762701
[24 k's]
2 even-n
39939
[2 k's]
2 odd-n
172677
[4 k's]
4
39939
[5 k's]
8
14
none - proven
16
33965
[15 k's]
32
10
none - proven
64
14
none - proven
128
44
none - proven
256
10364
[19 k's]
512
14
none - proven
1024
81
29 (1M)

Statistics:
bases all over: 13
bases proven: 5
bases not started: 0
bases with 1 k-value: 1
bases with 2 k-values: 1
bases with 3 k-values: 0
remaining k-values: 114

Sierpinski conjectures:

base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
none 2
power 2
conjectures
3
125050976086
393532 k's [50K]
4
power 2
conjectures
5
159986
30 k's [4.7M]
6
174308
[10 k's]
7
1112646039348
19909 k's [k≤1G at n>=25K]
8
power 2
conjectures
9
2344
none - proven
10
9175
7666 (3.9M)
11
1490
none - proven
12
521
none - proven
13
132
none - proven
14
4
none - proven
15
91218919470156
10362 k's [k≤1G at n>=25K]
16
power 2
conjectures
17
278
244 (5M)
18
398
none - proven
19
765174
525 k's [200K]
20
8
none - proven
21
1002
none - proven
22
6694
5128 (2M)
23
182
none - proven
24
30651
61 k's [400K]
25
262638
81 k's [350K]
26
221
[2 k's]
27
538
398 (2M)
28
4554
[2 k's]
29
4
none - proven
30
867
[2 k's]
31
6360528
503 k's [100K]
32
power 2
conjectures
33
1854
none - proven
34
6
none - proven
35
214018
325 k's [100K]
36
1886
none - proven
37
2604
[3 k's]
38
14
none - proven
39
166134
259 k's [100K]
40
826477
238 k's [100K]
41
8
none - proven
42
13372
[15 k's]
43
2256
166 (1M)
44
4
none - proven
45
53474
[23 k's]
46
14992
[12 k's]
47
8
none - proven
48
1219
[6 k's]
49
2944
[2 k's]
50
16
none - proven
51
5183582
3972 k's [100K]
52
28674
[16 k's]
53
1966
[18 k's]
54
21
none - proven
55
4416
[4 k's]
56
20
none - proven
57
1188
none - proven
58
43071
96 k's [125K]
59
4
none - proven
60
16957
[19 k's]
61
15168
[9 k's]
62
8
none - proven
63
37565868
33772 k's [25K]
64
power 2
conjectures
65
10
none - proven
66
21314443
8840 k's [50K]
67
18342
29 k's [400K]
68
22
17 (1M)
69
6
none - proven
70
11077
10438 (1M)
71
5917678826
not started
72
731
none - proven
73
1444
none - proven
74
4
none - proven
75
4086
1312 (1.3M)
76
43
none - proven
77
14
none - proven
78
186123
120 k's [100K]
79
2212516
5594 k's [100K]
80
1039
[12 k's]
81
6068
[8 k's]
82
19587
55 k's [100K]
83
8
none - proven
84
16
none - proven
85
346334170
358422 k's [2.5K]
86
28
8 (1M)
87
274
32 (1M)
88
4093
[6 k's]
89
4
none - proven
90
27
none - proven
91
89586
[12 k's]
92
32
none - proven
93
24394
70 k's [100K]
94
39
none - proven
95
41354
365 k's [100K]
96
353081
387 k's [100K]
97
15996
82 k's [100K]
98
10
none - proven
99
684
none - proven
100
2469
[3 k's]
101
16
none - proven
102
293
[3 k's]
103
13794
44 k's [100K]
104
4
none - proven
105
181632
51 k's [100K]
106
495090
184 k's [100K]
107
122
[2 k's]
108
26270
132 k's [100K]
109
34
none - proven
110
38
none - proven
111
24340
[16 k's]
112
3502
1696 (1M)
113
94
none - proven
114
24
none - proven
115
49794
[20 k's]
116
25
none - proven
117
2184
1474 (1M)
118
69
48 (1M)
119
4
none - proven
120
374876369
not started
121
360
none - proven
122
40
34 (1M)
123
2138
[6 k's]
124
173559406
not started
125
8
none - proven
126
766700
1217 k's [25K]
127
11254645362
not started
128
power 2
conjectures
129
14
none - proven
130
1021537
1572 k's [25K]
131
10
none - proven
132
13
none - proven
133
1944
[3 k's]
134
4
none - proven
135
1112
[4 k's]
136
90693
58 k's [100K]
137
22
none - proven
138
2781
[9 k's]
139
6
none - proven
140
46
8 (1M)
141
129697332
283844 k's [2.5K]
142
12
none - proven
143
7628
117 k's [100K]
144
59
none - proven
145
430482
264 k's [100K]
146
8
none - proven
147
17946
37 k's [100K]
148
4471
2361 (1M)
149
4
none - proven
150
49074
69 k's [100K]
151
83316
92 k's [200K]
152
16
none - proven
153
34
none - proven
154
61
none - proven
155
14
4 (1.8M)
156
18406311208
not started
157
1344
[2 k's]
158
52
none - proven
159
36
none - proven
160
22
none - proven
161
1760
[6 k's]
162
6193
[7 k's]
163
4192
[13 k's]
164
4
none - proven
165
2974
[2 k's]
166
140947
85 k's [100K]
167
8
none - proven
168
9244
70 k's [100K]
169
16
none - proven
170
20
none - proven
171
18790
[11 k's]
172
108
none - proven
173
28
none - proven
174
6
4 (1M)
175
606727296
2285168 k's [2.5K]
176
58
none - proven
177
3648
[10 k's]
178
1585
[11 k's]
179
4
none - proven
180
1679679
11737 k's [10K]
181
118
none - proven
182
23
8 (1M)
183
1036
none - proven
184
36
none - proven
185
32
10 (1M)
186
67
none - proven
187
798
none - proven
188
8
none - proven
189
56
none - proven
190
3146151
4749 k's [10K]
191
302
[3 k's]
192
7879
56 k's [100K]
193
14454
39 k's [100K]
194
4
none - proven
195
289401986
not started
196
2730222
2518 k's [25K]
197
10
none - proven
198
4105
36 k's [100K]
199
13224
41 k's [100K]
200
47
40 (1M)
201
4613782
15595 k's [10K]
202
57
none - proven
203
16
none - proven
204
81
4 (1M)
205
138330
76 k's [100K]
206
22
none - proven
207
9426
74 k's [100K]
208
153
none - proven
209
4
none - proven
210
147840103
451199 k's [2.5K]
211
20238
[13 k's]
212
70
[4 k's]
213
4174
[14 k's]
214
171
[2 k's]
215
19924
304 k's [100K]
216
92
none - proven
217
1854
1356 (600K)
218
74
17 (1M)
219
34
none - proven
220
103
none - proven
221
38
none - proven
222
389359
1235 k's [100K]
223
57814
529 k's [30K]
224
4
none - proven
225
117406
80 k's [100K]
226
1547460
8041 k's [10K]
227
20
18 (1M)
228
1146
[2 k's]
229
24
none - proven
230
8
4 (1M)
231
251748
95 k's [100K]
232
447592
807 k's [25K]
233
14
none - proven
234
46
none - proven
235
15706
27 k's [100K]
236
80
[2 k's]
237
50
none - proven
238
5613633
58571 k's [2.5K]
239
4
none - proven
240
1722187
32558 k's [2.5K]
241
636076
1815 k's [25K]
242
8
none - proven
243
40078
97 k's [400K]
244
6
none - proven
245
40
none - proven
246
77
none - proven
247
71392
171 k's [100K]
248
82
[4 k's]
249
824
[3 k's]
250
5496397
61066 k's [2.5K]
251
8
none - proven
252
45
27 (600K)
253
25018
[10 k's]
254
4
none - proven
255
110094
156 k's [100K]
256
power 2
conjectures
257
44
40 (600K)
258
36
none - proven
259
144
64 (1M)
260
28
none - proven
261
8837652
39028 k's [2.5K]
262
110724
469 k's [100K]
263
10
8 (1M)
264
54
41 (1M)
265
246
none - proven
266
88
none - proven
267
1343016
3728 k's [25K]
268
8338
76 k's [100K]
269
4
none - proven
270
62060
428 k's [25K]
271
168541962
not started
272
8
none - proven
273
3974
[6 k's]
274
21
none - proven
275
22
none - proven
276
622697
1669 k's [25K]
277
19578
82 k's [100K]
278
8
none - proven
279
6
none - proven
280
82035074042274
not started
281
46
none - proven
282
10807
148 k's [100K]
283
106714
559 k's [25K]
284
4
none - proven
285
12
none - proven
286
370
none - proven
287
7142
88 k's [100K]
288
2704
[7 k's]
289
204
none - proven
290
98
[3 k's]
291
33232
68 k's [100K]
292
40393
262 k's [100K]
293
8
none - proven
294
119
61 (1M)
295
394902
542 k's [25K]
296
10
none - proven
297
133654
695 k's [25K]
298
183
[2 k's]
299
4
none - proven
300
85
none - proven
301
1061982
705 k's [25K]
302
16
none - proven
303
174742
2225 k's [25K]
304
121
60 (1M)
305
16
none - proven
306
431937
1385 k's [25K]
307
34
none - proven
308
104
[5 k's]
309
94
none - proven
310
268392
1091 k's [25K]
311
142
none - proven
312
890797
32149 k's [2.5K]
313
111312
234 k's [100K]
314
4
none - proven
315
1642
[2 k's]
316
287520
145 k's [100K]
317
52
44 (600K)
318
144
89 (600K)
319
684
[5 k's]
320
106
97 (600K)
321
22
none - proven
322
18
none - proven
323
2284
31 k's [100K]
324
14
none - proven
325
82786558
371598 k's [2.5K]
326
110
none - proven
327
1844
[11 k's]
328
48
27 (1M)
329
4
none - proven
330
16636723
101096 k's [2.5K]
331
280458
253 k's [100K]
332
38
[2 k's]
333
6514
[25 k's]
334
66
[2 k's]
335
8
4 (1M)
336
92000
107 k's [100K]
337
534
none - proven
338
112
[10 k's]
339
16
none - proven
340
309
199 (1M)
341
20
none - proven
342
552
[5 k's]
343
1936
[4 k's]
344
4
none - proven
345
356851424
not started
346
22248598
221894 k's [2.5K]
347
28
none - proven
348
26523
257 k's [100K]
349
6
none - proven
350
14
none - proven
351
115752
102 k's [100K]
352
7990
[20 k's]
353
16
8 (700K)
354
141
[3 k's]
355
23586
40 k's [100K]
356
8
none - proven
357
456628
1428 k's [25K]
358
27478218
264243 k's [2.5K]
359
4
none - proven
360
628
[5 k's]
361
1671172
5510 k's [10K]
362
10
none - proven
363
64
none - proven
364
291
none - proven
365
304
[2 k's]
366
79231
357 k's [100K]
367
3462
[13 k's]
368
40
[3 k's]
369
36
none - proven
370
160
none - proven
371
32
none - proven
372
9699
51 k's [100K]
373
120
108 (700K)
374
4
none - proven
375
7509988
24381 k's [10K]
376
610
[2 k's]
377
8
none - proven
378
6444
[12 k's]
379
246
156 (1M)
380
128
[2 k's]
381
18526
[10 k's]
382
11491
93 k's [100K]
383
1022
37 k's [519K]
384
6
none - proven
385
3301264
3407 k's [10K]
386
85
none - proven
387
1798
[10 k's]
388
90249
832 k's [25K]
389
4
none - proven
390
137
none - proven
391
206662
247 k's [100K]
392
130
[3 k's]
393
58608
166 k's [100K]
394
159
[2 k's]
395
10
[2 k's]
396
5253
[4 k's]
397
10546
28 k's [100K]
398
8
none - proven
399
2525403854
not started
400
12492354
68114 k's [2.5K]
401
68
20 (1M)
402
92
61 (600K)
403
11412
31 k's [100K]
404
4
none - proven
405
146
none - proven
406
186
none - proven
407
16
none - proven
408
5318
[18 k's]
409
124
none - proven
410
136
[2 k's]
411
46246
88 k's [100K]
412
132
[2 k's]
413
22
none - proven
414
84
none - proven
415
3088787196
not started
416
140
none - proven
417
56
10 (700K)
418
8398
28 k's [100K]
419
4
none - proven
420
2288555
3958 k's [50K]
421
53806
[16 k's]
422
46
[3 k's]
423
9698
69 k's [100K]
424
16
none - proven
425
70
none - proven
426
62
8 (600K)
427
5852794
48534 k's [2.5K]
428
10
8 (600K)
429
44
none - proven
430
22413
15321 (600K)
431
20138
316 k's [100K]
432
46765
964 k's [25K]
433
342
[2 k's]
434
4
none - proven
435
3699251266
not started
436
208
none - proven
437
8
none - proven
438
2633
30 k's [100K]
439
34
none - proven
440
8
none - proven
441
118
none - proven
442
36768
50 k's [100K]
443
184
[3 k's]
444
179
[2 k's]
445
14986
42 k's [100K]
446
148
[6 k's]
447
204
[2 k's]
448
139191
961 k's [25K]
449
4
none - proven
450
122
87 (600K)
451
97068
104 k's [100K]
452
152
[8 k's]
453
4863476
100879 k's [2.5K]
454
6
none - proven
455
20
none - proven
456
14836963
51825 k's [2.5K]
457
84958
422 k's [25K]
458
16
none - proven
459
24
none - proven
460
37803
75 k's [100K]
461
8
2 (600K)
462
6880642
123504 k's [2.5K]
463
1188
[2 k's]
464
4
none - proven
465
78056
127 k's [100K]
466
6492
[14 k's]
467
8
4 (1M)
468
202
97 (1.239M)
469
46
none - proven
470
158
none - proven
471
4562
[12 k's]
472
87
[2 k's]
473
8
none - proven
474
39
none - proven
475
288
none - proven
476
52
28 (600K)
477
78152
168 k's [100K]
478
523069
10650 k's [10K]
479
4
none - proven
480
38
12 (600K)
481
11680548
46637 k's [2.5K]
482
8
none - proven
483
32
none - proven
484
96
none - proven
485
3344
67 k's [100K]
486
301941
1946 k's [25K]
487
6772
42 k's [100K]
488
164
[6 k's]
489
6
none - proven
490
15123
29 k's [100K]
491
40
none - proven
492
86
69 (600K)
493
324
[5 k's]
494
4
none - proven
495
692446
1247 k's [25K]
496
141
none - proven
497
16
8 (600K)
498
7983
45 k's [100K]
499
2124
[23 k's]
500
166
[10 k's]
501
278
none - proven
502
8832
89 k's [100K]
503
8
none - proven
504
201
[3 k's]
505
208
none - proven
506
25
none - proven
507
1142
[3 k's]
508
601128
8875 k's [10K]
509
4
none - proven
510
218
[2 k's]
511
3876595974396
not started
512
power 2
conjectures
513
45828
446 k's [25K]
514
411
[8 k's]
515
44
none - proven
516
142
122 (600K)
517
36
none - proven
518
172
[4 k's]
519
14
none - proven
520
1006
369 (1M)
521
28
none - proven
522
32644
781 k's [25K]
523
10872
45 k's [100K]
524
4
none - proven
525
8639814
54690 k's [2.5K]
526
373
none - proven
527
10
none - proven
528
116
none - proven
529
972
[9 k's]
530
58
[2 k's]
531
20
none - proven
532
40
none - proven
533
88
[2 k's]
534
106
104 (600K)
535
4653216
35050 k's [2.5K]
536
178
[2 k's]
537
176734
1682 k's [25K]
538
27
none - proven
539
4
none - proven
540
1091739
1567 k's [25K]
541
15253776
120506 k's [2.5K]
542
32
[2 k's]
543
6478
96 k's [100K]
544
64
none - proven
545
8
none - proven
546
45119296
307114 k's [2.5K]
547
1658658
5063 k's [10K]
548
16
none - proven
549
34
none - proven
550
115
94 (600K)
551
22
none - proven
552
78
none - proven
553
1938
[4 k's]
554
4
none - proven
555
32388
132 k's [100K]
556
3353698
32274 k's [2.5K]
557
16
none - proven
558
259
[3 k's]
559
6
none - proven
560
10
none - proven
561
6290186
5249 k's [10K]
562
12
none - proven
563
12
none - proven
564
114
[2 k's]
565
8472
[13 k's]
566
8
none - proven
567
924
none - proven
568
23328
86 k's [100K]
569
4
none - proven
570
2972056
56901 k's [2.5K]
571
12
none - proven
572
190
[8 k's]
573
204
[3 k's]
574
24
16 (600K)
575
136582
1823 k's [25K]
576
30651
151 k's [100K]
577
664
[6 k's]
578
68
[3 k's]
579
86
6 (600K)
580
414
none - proven
581
98
none - proven
582
54
32 (600K)
583
2994
[12 k's]
584
4
none - proven
585
13929512
134076 k's [2.5K]
586
21262902
196149 k's [2.5K]
587
8
none - proven
588
94
none - proven
589
414
none - proven
590
196
[10 k's]
591
16242
33 k's [100K]
592
23721
247 k's [100K]
593
10
[2 k's]
594
6
none - proven
595
301128
90 k's [100K]
596
200
136 (600K)
597
12
none - proven
598
18568
93 k's [100K]
599
4
none - proven
600
1906972
48948 k's [2.5K]
601
216
none - proven
602
68
[4 k's]
603
1964
[4 k's]
604
21
none - proven
605
100
70 (618K)
606
50380
171 k's [100K]
607
420034
5572 k's [10K]
608
8
none - proven
609
184
none - proven
610
142
none - proven
611
16
none - proven
612
162446
1432 k's [25K]
613
1536
[4 k's]
614
4
none - proven
615
34
none - proven
616
53061
50 k's [100K]
617
514
[7 k's]
618
3995
49 k's [200K]
619
94
none - proven
620
22
[2 k's]
621
19592
36 k's [100K]
622
90
none - proven
623
14
none - proven
624
712899
23326 k's [2.5K]
625
17428
[23 k's]
626
10
none - proven
627
12354
84 k's [100K]
628
1072
[7 k's]
629
4
none - proven
630
24015859
202965 k's [2.5K]
631
8243256
28048 k's [2.5K]
632
8
none - proven
633
6022
58 k's [100K]
634
126
[2 k's]
635
52
none - proven
636
27
none - proven
637
144
none - proven
638
70
32 (600K)
639
1664
[7 k's]
640
11925
39 k's [100K]
641
106
none - proven
642
10932
206 k's [100K]
643
22
none - proven
644
4
none - proven
645
18
none - proven
646
52701
133 k's [100K]
647
124
[3 k's]
648
296
[6 k's]
649
144
64 (600K)
650
8
none - proven
651
4541342
6340 k's [10K]
652
2491849
39920 k's [2.5K]
653
110
[4 k's]
654
261
[4 k's]
655
6930
32 k's [100K]
656
145
[6 k's]
657
48
none - proven
658
20428
112 k's [100K]
659
4
none - proven
660
74031
564 k's [25K]
661
1185028551412
not started
662
14
none - proven
663
10042
44 k's [100K]
664
6
none - proven
665
38
none - proven
666
231
none - proven
667
26218
117 k's [100K]
668
8
none - proven
669
66
none - proven
670
243
none - proven
671
8
none - proven
672
3366
[11 k's]
673
687142
3328 k's [10K]
674
4
none - proven
675
293812
3017 k's [10K]
676
825
none - proven
677
112
none - proven
678
195
106 (600K)
679
16
none - proven
680
226
[5 k's]
681
32
none - proven
682
6831
43 k's [100K]
683
20
none - proven
684
86
34 (600K)
685
637524
4576 k's [10K]
686
230
116 (600K)
687
7956
32 k's [100K]
688
105
[2 k's]
689
4
none - proven
690
395800653
not started
691
9449088
62047 k's [2.5K]
692
8
none - proven
693
6592
[11 k's]
694
1111
[6 k's]
695
28
none - proven
696
288
none - proven
697
14308
58 k's [100K]
698
232
[8 k's]
699
6
none - proven
700
36945505
324195 k's [2.5K]
701
92
none - proven
702
75
39 (600K)
703
538
[2 k's]
704
4
none - proven
705
10159692
93375 k's [2.5K]
706
405
none - proven
707
58
40 (600K)
708
28361
190 k's [100K]
709
214
none - proven
710
80
[3 k's]
711
49572
201 k's [100K]
712
528
[9 k's]
713
8
none - proven
714
12
none - proven
715
21508102
33368 k's [2.5K]
716
238
[3 k's]
717
179678
1974 k's [25K]
718
243
[5 k's]
719
4
none - proven
720
104
13 (600K)
721
3446248
18229 k's [2.5K]
722
8
none - proven
723
2354
[21 k's]
724
204
9 (600K)
725
10
none - proven
726
10923176
119761 k's [2.5K]
727
64
none - proven
728
953974
115651 k's [2.5K]
729
74
none - proven
730
171
none - proven
731
62
none - proven
732
81364
1358 k's [25K]
733
14314
77 k's [100K]
734
4
none - proven
735
174778
721 k's [25K]
736
133
12 (600K)
737
40
none - proven
738
12767
129 k's [100K]
739
36
none - proven
740
14
13 (1M)
741
160
none - proven
742
30462
52 k's [100K]
743
32
none - proven
744
299
[12 k's]
745
334816
784 k's [25K]
746
82
[4 k's]
747
32
none - proven
748
106
none - proven
749
4
none - proven
750
210779
1073 k's [25K]
751
41032
119 k's [100K]
752
16
none - proven
753
144
[2 k's]
754
301
[3 k's]
755
8
none - proven
756
67836285
not started
757
47376
120 k's [100K]
758
10
8 (600K)
759
56
none - proven
760
113906481
not started
761
128
[3 k's]
762
246
[5 k's]
763
151462
814 k's [25K]
764
4
none - proven
765
2699768
32349 k's [2.5K]
766
235
[2 k's]
767
80
[3 k's]
768
55367
685 k's [40K]
769
6
none - proven
770
256
[2 k's]
771
264218
202 k's [100K]
772
23191
342 k's [100K]
773
44
[5 k's]
774
61
[2 k's]
775
862620
3752 k's [10K]
776
8
none - proven
777
24088826
394350 k's [2.5K]
778
208
none - proven
779
4
none - proven
780
243
none - proven
781
528
370 (600K)
782
28
none - proven
783
36
none - proven
784
156
151 (400K)
785
130
none - proven
786
210082
3604 k's [10K]
787
7684
37 k's [100K]
788
40
[3 k's]
789
236
none - proven
790
225
[2 k's]
791
10
none - proven
792
365
[4 k's]
793
4492848
47035 k's [2.5K]
794
4
none - proven
795
6566
32 k's [100K]
796
137085595
not started
797
8
none - proven
798
187
33 (400K)
799
1864613598304
not started
800
88
[2 k's]
801
45030296
not started
802
129
none - proven
803
16
4 (600K)
804
6
none - proven
805
714
none - proven
806
268
140 (400K)
807
53428
508 k's [25K]
808
24271
267 k's [100K]
809
4
none - proven
810
30008
165 k's [100K]
811
552
[3 k's]
812
16
none - proven
813
186
none - proven
814
651
[7 k's]
815
16
none - proven
816
343
153 (470K)
817
2063406
24181 k's [2.5K]
818
8
none - proven
819
124
none - proven
820
30378
[21 k's]
821
136
80 (600K)
822
278173
10255 k's [10K]
823
9166
69 k's [100K]
824
4
none - proven
825
176
[2 k's]
826
19730748315
not started
827
8
none - proven
828
12
8 (600K)
829
84
none - proven
830
278
[13 k's]
831
1030522
9525 k's [10K]
832
69
[2 k's]
833
140
[2 k's]
834
166
89 (400K)
835
474
[2 k's]
836
32
2 (400K)
837
1032
[4 k's]
838
1447276
46353 k's [2.5K]
839
4
none - proven
840
9076
54 k's [100K]
841
22312
[12 k's]
842
68
[3 k's]
843
28486
250 k's [100K]
844
51
none - proven
845
46
none - proven
846
43
none - proven
847
150678
557 k's [25K]
848
284
[10 k's]
849
16
none - proven
850
369
252 (400K)
851
70
none - proven
852
34974
627 k's [25K]
853
204
106 (1M)
854
4
none - proven
855
7954937545864
not started
856
39457
103 k's [100K]
857
10
none - proven
858
35218
567 k's [25K]
859
474
[2 k's]
860
8
none - proven
861
813160
1830 k's [25K]
862
6757
38 k's [100K]
863
8
none - proven
864
174
74 (500K)
865
15460266
172299 k's [2.5K]
866
16
8 (500K)
867
92
none - proven
868
78
none - proven
869
4
none - proven
870
66
none - proven
871
21676
[22 k's]
872
98
[3 k's]
873
208
[3 k's]
874
6
none - proven
875
74
4 (1M)
876
258073912
not started
877
2182
[8 k's]
878
23
[3 k's]
879
34
none - proven
880
25282
79 k's [100K]
881
8
none - proven
882
5297
46 k's [100K]
883
324
66 (500K)
884
4
none - proven
885
588746
1448 k's [25K]
886
8170158
142454 k's [2.5K]
887
38
[2 k's]
888
13
none - proven
889
624
none - proven
890
10
none - proven
891
80364072
not started
892
187
[3 k's]
893
32
none - proven
894
359
[11 k's]
895
953800
8532 k's [10K]
896
22
none - proven
897
7634
[15 k's]
898
30
none - proven
899
4
none - proven
900
12
none - proven
901
12
none - proven
902
8
none - proven
903
338
none - proven
904
361
[6 k's]
905
118
[3 k's]
906
161291811
not started
907
1350424
29433 k's [2.5K]
908
100
[7 k's]
909
6
none - proven
910
4989054506113
not started
911
208
[4 k's]
912
331
[10 k's]
913
2540464
31687 k's [2.5K]
914
4
2 (400K)
915
4266956
61769 k's [2.5K]
916
132
none - proven
917
16
2 (500K)
918
24812
156 k's [100K]
919
24
none - proven
920
103
[5 k's]
921
10596584690
not started
922
285
[3 k's]
923
8
none - proven
924
36
none - proven
925
59162602
138831 k's [2.5K]
926
205
[4 k's]
927
28624
454 k's [25K]
928
27871
529 k's [25K]
929
4
none - proven
930
20
8 (400K)
931
37978
26 k's [100K]
932
310
[11 k's]
933
3343252
113075 k's [2.5K]
934
16
none - proven
935
14
10 (400K)
936
100260
92 k's [100K]
937
202
none - proven
938
314
[16 k's]
939
46
none - proven
940
5557
45 k's [100K]
941
158
none - proven
942
206
[3 k's]
943
15636
53 k's [100K]
944
4
none - proven
945
386
[3 k's]
946
1524340829428
not started
947
80
[3 k's]
948
38
none - proven
949
246
none - proven
950
316
[5 k's]
951
50
none - proven
952
5503
[25 k's]
953
52
8 (400K)
954
381
[15 k's]
955
981094
2322 k's [75K]
956
10
none - proven
957
19638
143 k's [100K]
958
412
[2 k's]
959
4
none - proven
960
197938246042
not started
961
1000
[7 k's]
962
106
[4 k's]
963
23276986
515412 k's [2.5K]
964
771
[14 k's]
965
8
none - proven
966
924230558
not started
967
144
none - proven
968
16
11 (400K)
969
96
none - proven
970
430152
3258 k's [10K]
971
14876
342 k's [100K]
972
279
[8 k's]
973
9252
27 k's [100K]
974
4
none - proven
975
375364
2079 k's [25K]
976
4492245
48740 k's [2.5K]
977
160
[7 k's]
978
177
[3 k's]
979
6
none - proven
980
110
25 (400K)
981
50234474650
not started
982
39640
816 k's [25K]
983
40
8 (400K)
984
196
[3 k's]
985
900
[3 k's]
986
8
none - proven
987
170
none - proven
988
1678
[7 k's]
989
4
none - proven
990
838385
5923 k's [10K]
991
5262
[5 k's]
992
332
45 k's [100K]
993
36
[2 k's]
994
399
[5 k's]
995
82
none - proven
996
5841
49 k's [100K]
997
36048
238 k's [100K]
998
38
12 (400K)
999
3234
63 k's [100K]
1000
12
none - proven
1001
166
none - proven
1002
1240
[4 k's]
1003
4768
[24 k's]
1004
4
2 (600K)
1005
54610
225 k's [100K]
1006
531
[5 k's]
1007
8
none - proven
1008
12730554
350616 k's [2.5K]
1009
304
144 (400K)
1010
338
[15 k's]
1011
208
none - proven
1012
16207
104 k's [100K]
1013
14
none - proven
1014
6
none - proven
1015
12079606
45006 k's [2.5K]
1016
112
none - proven
1017
1494
[12 k's]
1018
77443
1534 k's [25K]
1019
4
none - proven
1020
95696289
not started
1021
2262
[4 k's]
1022
8
none - proven
1023
632462
2531 k's [25K]
1024
power 2
conjectures
1025
20
none - proven
1026
157
none - proven
1027
84552
222 k's [200K]
1028
8
none - proven
1029
104
none - proven
1030
75345
193 k's [100K]

Statistics:
bases all over: 1029
bases proven: 392
bases not started: 42
bases with 1 k-value: 104
bases with 2 k-values: 51
bases with 3 k-values: 38
remaining k-values: 9972196

Sierpinski conjectures that are powers of 2:

base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
base
CK
remain
2
78557
[5 k's]
2 2nd conjecture
271129
[17 k's]
2 even-n
66741
none - proven
2 odd-n
95283
[3 k's]
4
66741
[6 k's]
8
47
none - proven
16
66741
[14 k's]
32
10
none - proven
64
51
none - proven
128
44
40 (1.2857M)
256
1221
831 (1M)
512
18
5 (1M)
1024
81
none - proven

Statistics:
bases all over: 13
bases proven: 5
bases not started: 0
bases with 1 k-value: 3
bases with 2 k-values: 0
bases with 3 k-values: 1
remaining k-values: 48

Short table for bases ≤ 1030

Colors: proven  1 k left  2 k's left  3 k's left 

Riesel conjectures:

691011121314171820212223262729313334384143444749
50545657596162656768697072737476778081838486899092
93949899100101103104109110112113114116118119121122123125129131132133134
137139140142144146149152153154155158159160162163164165167169170172173174176
177178179181182183184185186188189191194197200202203204206208209213214216217
218219220221224227229230233234236237239242244245246248251252253254257258259
260263264265266269272274275278279281284285286288289290293294296298299300302
305307309311314315317318319320321322324326327328329332333334335337339340341
344347349350353354356359362363364365366367368369370371373374376377379380384
386387389390392394395398401402404405406407409410412413414416417419424425426
428429433434436437439440441443446447449450452454455458459461463464467469470
471472473474475476479480482484489491492493494496497500503504505506509510514
515516517519520521523524526527528529531532533534538539544545548549551554557
559560562563564566569571573574577579580581582584587588590593594596597599601
602604605608609610611614615617619620622623626628629632634635636637643644645
648649650656657659662664665666667668669670671674676679680681683684686688689
692694695696699701702704706707712713714719720724725727729730731734736737739
740741743746749755758759761762764769773774776779780781782783784785788789790
791794797798800803804805806809811812813814815816818819824825827828829832833
834835836839844845846849850851853854857859860863864866867868869870873874875
879881883884887888890892893896898899900901902905908909911914916917919920922
923924929930931934935939941944945947949951956958959961964965967968969974978
97998098398498598698798898999399510001001100210031004100710111013101410161019102110221025
102610281029
proven: 4021-k: 1012-k: 543-k: 21

Riesel conjectures that are powers of 2:

2 even-n832641285121024
proven: 51-k: 12-k: 13-k: 0

Sierpinski conjectures:

9101112131417182021222326272829303334363738414344
47495054565759626568697072737475767783848687899092
949899100101102104107109110112113114116117118119121122125129131132133134
137139140142144146148149152153154155157158159160164165167169170172173174176
179181182183184185186187188189191194197200202203204206208209214216217218219
220221224227228229230233234236237239242244245246249251252254257258259260263
264265266269272274275278279281284285286289290293294296298299300302304305307
309311314315317318320321322324326328329332334335337339340341344347349350353
354356359362363364365368369370371373374376377379380384386389390392394395398
401402404405406407409410412413414416417419422424425426428429430433434436437
439440441443444447449450454455458459461463464467468469470472473474475476479
480482483484489491492494496497501503504505506507509510515516517519520521524
526527528530531532533534536538539542544545548549550551552554557558559560562
563564566567569571573574578579580581582584587588589593594596597599601604605
608609610611614615619620622623626629632634635636637638641643644645647649650
657659662664665666668669670671674676677678679681683684686688689692695696699
701702703704706707709710713714716719720722724725727729730731734736737739740
741743747748749752753754755758759761764766767769770774776778779780781782783
784785788789790791794797798800802803804805806809811812813815816818819821824
825827828829832833834835836839842844845846849850851853854857859860863864866
867868869870872873874875878879881883884887888889890892893896898899900901902
903905909914916917919922923924929930934935937939941942944945947948949951953
95695895996596796896997497897998098398498598698798999399599810001001100410071009
1011101310141016101910221025102610281029
proven: 3921-k: 1042-k: 513-k: 38

Sierpinski bases that are powers of 2:

2 even-n2 odd-n832641282565121024
proven: 51-k: 32-k: 03-k: 1