CRUS Statistics and Progress

Last update: Wed 27 Jan 2021 22:30 CST

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 2^x	Base 2^x	All Bases	%	Base not 2^x	Base 2^x	All Bases	%
Proven	395	5	400	38.8	385	5	390	37.8
1k conjectures	105	1	106	10.3	109	3	112	10.9
2k conjectures	47	1	48	4.7	49	0	49	4.7
3k conjectures	30	0	30	2.9	40	1	41	4.0
>3k conjectures	321	5	326	31.6	315	4	319	30.9
Partially tested	67	0	67	6.5	56	0	56	5.4
Just started	1	0	1	0.1	0	0	0	0.0
Not started	53	0	53	5.1	64	0	64	6.2
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	35	1	42	12	0	90	47	0	32	10	0	89
1e5<ck<1e6	0	0	23	50	0	73	0	0	22	49	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	156	62	218	0	0	0	145	67	212
ck<100	0	0	0	76	336	412	0	0	0	89	315	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	0	51	37	18	0	0	0	0	44	36	32
2k left	0	0	0	0	43	4	1	0	0	0	1	35	9	4
3k left	0	0	0	8	19	3	0	0	0	0	4	32	2	3
4<k<=10	0	0	17	13	47	9	3	0	0	7	18	38	7	4
10<k<=100	0	0	106	9	7	5	3	0	0	114	6	10	5	3
100<k<=1000	26	0	51	0	2	0	0	23	0	57	1	0	0	0
1000<k	7	1	3	0	0	0	0	11	2	1	0	0	0	0
Total	33	1	177	30	169	58	25	34	2	179	30	159	59	46

The largest group of consecutive proven Riesel conjectures is 5 from R182 to R186 and from R898 to R902.
The largest group of consecutive proven Sierpinski conjectures is 6 from S898 to S903.