CRUS Statistics and Progress

Last update: Sat 19 Jan 2019 00: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	388	5	393	38.1	380	5	385	37.3
1k conjectures	109	1	110	10.7	104	3	107	10.4
2k conjectures	45	1	46	4.5	50	0	50	4.8
3k conjectures	26	0	26	2.5	29	1	30	2.9
>3k conjectures	315	5	320	31.0	324	4	328	31.8
Partially tested	2	0	2	0.2	2	0	2	0.2
Just started	0	0	0	0.0	0	0	0	0.0
Not started	134	0	134	13.0	129	0	129	12.5
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	79	0	0	11	0	90	79	0	0	10	0	89
1e5<ck<1e6	37	0	0	36	0	73	33	0	0	38	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	157	61	218	0	0	0	149	63	212
ck<100	0	0	0	82	330	412	0	0	0	90	314	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	22	58	15	15	0	0	0	28	37	18	24
2k left	0	0	0	27	15	2	2	0	0	0	29	11	7	3
3k left	0	0	0	9	14	3	0	0	0	0	16	11	0	3
4<k<=10	0	0	69	16	5	2	3	0	0	66	14	3	3	3
10<k<=100	0	0	116	10	1	4	2	0	0	124	11	3	1	3
100<k<=1000	23	0	52	0	1	0	0	22	0	57	1	0	0	0
1000<k	5	0	3	0	0	0	0	9	2	1	0	0	0	0
Total	28	0	240	84	94	26	22	31	2	248	99	65	29	36

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