totals=Table[{#,Select[#,(!SKTerminated[Last[SKFixedPointEvolveList[#,2000,2000]]])&]}&[Groupings[Table[s,n],Construct2]],{n,10}];
In[]:=
ttotals=Map[Length,totals,{2}]
In[]:=
{{0,0},{1,0},{2,0},{5,0},{14,0},{42,0},{132,2},{429,41},{1430,276},{4862,1481}}
Out[]=
Text[Grid[Prepend[Table[{n,ttotals[[n,1]],ttotals[[n,2]],PercentForm[N[ttotals[[n,2]]/ttotals[[n,1]]],2]},{n,2,10}],{"size","total","nonterminating","fraction"}],FrameAll]]
In[]:=
size | total | nonterminating | fraction |
2 | 1 | 0 | 0% |
3 | 2 | 0 | 0% |
4 | 5 | 0 | 0% |
5 | 14 | 0 | 0% |
6 | 42 | 0 | 0% |
7 | 132 | 2 | 1.5% |
8 | 429 | 41 | 9.6% |
9 | 1430 | 276 | 19% |
10 | 4862 | 1481 | 30% |
Out[]=
PercentForm[.763535]
In[]:=
76.35%
Out[]//PercentForm=
#2/#1&@@@{{0,0},{1,0},{2,0},{5,0},{14,0},{42,0},{132,2},{429,41},{1430,276},{4862,1481}}
In[]:=
1
0
Indeterminate,0,0,0,0,0,,,,
1
66
41
429
138
715
1481
4862
Out[]=
N[%]
In[]:=
{Indeterminate,0.,0.,0.,0.,0.,0.0151515,0.0955711,0.193007,0.304607}
Out[]=
ListLinePlot[%]
In[]:=
Out[]=
sss11=ResourceFunction["ParallelMapMonitored"][(!SKTerminated[Last[SKFixedPointEvolveList[#,2000,2000]]])&,Groupings[Table[s,11],Construct2]];
In[]:=
Count[sss11,True]
In[]:=
6829
Out[]=
Length[sss11]
In[]:=
16796
Out[]=
%115/%//N
In[]:=
0.406585
Out[]=
sss12=ResourceFunction["ParallelMapMonitored"][(!SKTerminated[Last[SKFixedPointEvolveList[#,2000,2000]]])&,Groupings[Table[s,12],Construct2]]
ttimes=Monitor[Table[ResourceFunction["ParallelMapMonitored"][With[{u=SKFixedPointEvolveList[#,2000,2000]},If[!SKTerminated[Last[u]],None,Length[u]-1]]&,Groupings[Table[s,n],Construct2]],{n,12}],n];
In[]:=
ttotals={Length[#],Count[#,None]}&/@ttimes
In[]:=
{{0,0},{1,0},{2,0},{5,0},{14,0},{42,0},{132,2},{429,41},{1430,276},{4862,1481},{16796,6829},{58786,29288}}
Out[]=
#2/#1&@@@%125
In[]:=
1
0
Indeterminate,0,0,0,0,0,,,,,,
1
66
41
429
138
715
1481
4862
6829
16796
2092
4199
Out[]=
ListLinePlot[%]
In[]:=
Out[]=
Max[DeleteCases[#,None]]&/@ttimes
In[]:=
{-∞,0,0,1,2,4,15,15,86,894,894,1189}
Out[]=
GraphicsGrid[Partition[Table[Labeled[Histogram[DeleteCases[ttimes[[n]],None],{1},{"Log","Count"},PlotRange{{0,50},Automatic},FrameTrue],Text[n]],{n,5,12}],4]]
In[]:=
Out[]=
PlotLabel
Select[Groupings[Table[s,7],Construct2],(!SKTerminated[Last[SKFixedPointEvolveList[#,2000,2000]]])&]
In[]:=
{s[s[s]][s][s][s][s],s[s][s][s[s]][s][s]}
Out[]=
SKEvolveList[#,2]&/@{s[s[s]][s][s][s][s],s[s][s][s[s]][s][s]}
In[]:=
{{s[s[s]][s][s][s][s],s[s][s][s[s]][s][s],s[s[s]][s[s[s]]][s][s]},{s[s][s][s[s]][s][s],s[s[s]][s[s[s]]][s][s],s[s][s][s[s[s]][s]][s]}}
Out[]=
Select[Groupings[Table[s,8],Construct2],(!SKTerminated[Last[SKFixedPointEvolveList[#,2000,2000]]])&]
In[]:=
{s[s[s[s][s]]][s][s][s],s[s[s[s[s][s]]]][s][s],s[s[s]][s][s][s][s][s],s[s[s[s]][s][s][s][s]],s[s[s[s]][s][s]][s][s],s[s[s[s]][s]][s][s][s],s[s[s[s[s]][s]]][s][s],s[s[s[s]]][s][s][s][s],s[s[s[s[s]]][s]][s][s],s[s[s[s[s]]]][s][s][s],s[s][s][s[s]][s][s][s],s[s[s][s][s[s]][s][s]],s[s[s][s][s[s]]][s][s],s[s[s]][s[s]][s][s][s],s[s[s[s]][s[s]]][s][s],s[s[s]][s][s[s]][s][s],s[s[s[s]]][s[s]][s][s],s[s][s][s[s][s]][s][s],s[s][s][s[s[s]]][s][s],s[s[s]][s[s[s]]][s][s],s[s[s][s]][s][s[s]][s],s[s[s[s][s]]][s[s]][s],s[s[s]][s][s][s[s]][s],s[s[s[s]]][s][s[s]][s],s[s][s][s[s]][s[s]][s],s[s][s][s[s[s][s]]][s],s[s[s]][s][s[s][s]][s],s[s][s][s[s[s]][s]][s],s[s[s]][s][s[s[s]]][s],s[s][s][s[s[s[s]]]][s],s[s[s[s][s]]][s][s[s]],s[s[s]][s][s][s][s[s]],s[s[s[s]][s]][s][s[s]],s[s[s[s]]][s][s][s[s]],s[s][s][s[s]][s][s[s]],s[s[s]][s[s]][s][s[s]],s[s[s]][s][s[s]][s[s]],s[s][s][s[s][s]][s[s]],s[s][s][s[s[s]]][s[s]],s[s[s][s]][s][s[s][s]],s[s[s][s]][s][s[s[s]]]}
Out[]=
Select[SKEvolveList[#,10],LeafCount[#]8&]&/@%65
In[]:=
Out[]=
Last/@%
In[]:=
{s[s[s][s]][s][s[s]][s],s[s[s[s][s]]][s][s[s]],s[s][s][s[s]][s][s][s],s[s[s][s][s[s]][s][s]],s[s][s][s[s]][s][s[s]],s[s][s][s[s]][s[s]][s],s[s[s[s]][s]][s][s[s]],s[s[s]][s][s[s]][s][s],s[s[s]][s][s[s]][s[s]],s[s[s[s]]][s][s[s]][s],s[s][s][s[s]][s][s][s],s[s[s][s][s[s]][s][s]],s[s][s][s[s]][s][s[s]],s[s][s][s[s][s]][s][s],s[s][s][s[s][s]][s[s]],s[s[s]][s][s[s]][s][s],s[s[s]][s][s[s][s]][s],s[s][s][s[s][s]][s][s],s[s][s][s[s[s]]][s][s],s[s][s][s[s[s]][s]][s],s[s[s][s]][s][s[s]][s],s[s[s][s]][s][s[s][s]],s[s][s][s[s]][s[s]][s],s[s[s[s]]][s][s[s]][s],s[s][s][s[s]][s[s]][s],s[s][s][s[s[s][s]]][s],s[s[s]][s][s[s][s]][s],s[s][s][s[s[s]][s]][s],s[s[s]][s][s[s[s]]][s],s[s][s][s[s[s[s]]]][s],s[s[s[s][s]]][s][s[s]],s[s][s][s[s]][s][s[s]],s[s[s[s]][s]][s][s[s]],s[s[s]][s][s[s]][s[s]],s[s][s][s[s]][s][s[s]],s[s][s][s[s][s]][s[s]],s[s[s]][s][s[s]][s[s]],s[s][s][s[s][s]][s[s]],s[s][s][s[s[s]]][s[s]],s[s[s][s]][s][s[s][s]],s[s[s][s]][s][s[s[s]]]}
Out[]=
Looking for busy beavers
Looking for busy beavers