2,2  4,2

rules=Import["/Users/sw/Dropbox/Physics/Data/RuleEnumerations/22-42c.wxf"];
In[]:=
res=ParallelMapMonitored[WolframModelTest[#,{{0,0},{0,0}}]&,rules];
In[]:=
$Aborted
Out[]=
res=ParallelMapMonitored[(If[#["TerminationReason"]==="FixedPoint",#,Nothing]&[WolframModelTest[#,{{0,0},{0,0}}]])&,rules];
In[]:=
Counts[#["TerminationReason"]&/@res]
In[]:=
FixedPoint10480
Out[]=
fixed=Select[res,#["TerminationReason"]==="FixedPoint"&];
In[]:=
KeySort[Counts[Length[#["Sizes"]]&/@fixed]]
In[]:=
18125,21627,3401,4233,553,620,719,91,131
Out[]=
sfixed=ReverseSortBy[fixed,Length[#["Sizes"]]&];
In[]:=
First[sfixed]
In[]:=
Out[]=
Select[ParallelMapMonitored[WolframModel[#Rule,#Init,Length[#Sizes]+5,"FinalState"]#Rule&,sfixed],ConnectedHypergraphQ[First[#]]&,5]
In[]:=
Out[]=
(HypergraphPlot[#,ImageSizeTiny]&/@WolframModel[#,{{0,0},{0,0}},10,"StatesList"])&/@(Last/@%)
In[]:=
Out[]=
(HypergraphPlot[#,ImageSizeTiny]&/@WolframModel[{{1,2},{1,3}}{{1,4},{4,2},{2,5},{3,6}},{{0,0},{0,0}},20,"StatesList"])
In[]:=
Out[]=
Length[%]
In[]:=
14
Out[]=

2,2  5,2

rules=Import["/Users/sw/Dropbox/Physics/Data/RuleEnumerations/22-52c.wxf"];
In[]:=
res=ParallelMapMonitored[(If[#["TerminationReason"]==="FixedPoint",#,Nothing]&[WolframModelTest[#,{{0,0},{0,0}}]])&,rules];
In[]:=
Counts[#["TerminationReason"]&/@res]
In[]:=
FixedPoint67817
Out[]=
Length[res]
In[]:=
67817
Out[]=
Length[rules]
In[]:=
353462
Out[]=
67817/%//N
In[]:=
0.191865
Out[]=
fixed=Select[res,#["TerminationReason"]==="FixedPoint"&];
In[]:=
KeySort[Counts[Length[#["Sizes"]]&/@fixed]]
In[]:=
153946,210131,32252,4897,5355,6103,783,819,917,102,112,138,171,241
Out[]=
sfixed=ReverseSortBy[fixed,Length[#["Sizes"]]&];
In[]:=
First[sfixed]
In[]:=
Out[]=
Should optimize by only checking longer cases:
Select[ParallelMapMonitored[WolframModel[#Rule,#Init,Length[#Sizes]+5,"FinalState"]#Rule&,sfixed],ConnectedHypergraphQ[First[#]]&,5]
In[]:=
Out[]=
(HypergraphPlot[#,ImageSizeTiny]&/@WolframModel[#,{{0,0},{0,0}},10,"StatesList"])&/@(Last/@%)
In[]:=
Out[]=
Length/@%
In[]:=
{11,11,11,11,10}
Out[]=

3-arity

rules=Import["/Users/sw/Dropbox/Physics/Data/RuleEnumerations/23-33c.wxf"];
In[]:=
$Aborted
Out[]=
FileByteCount["/Users/sw/Dropbox/Physics/Data/RuleEnumerations/23-33c.wxf"]
In[]:=
7459817829
Out[]=
res=ParallelMapMonitored[(If[#["TerminationReason"]==="FixedPoint",With[{u=Length[#["Sizes"]]},If[u<=10,{u,{}},{u,#}]],Nothing]&[WolframModelTest[#,{{0,0,0},{0,0,0}}]])&,rules];
Table[RandomWolframModelRule[{{2,3}}{{3,3}}],10]
In[]:=
Out[]=
ParallelMapMonitored[(If[#["TerminationReason"]==="FixedPoint",With[{u=Length[#["Sizes"]]},If[u<=10,{u,{}},{u,#}]],Nothing]&[WolframModelTest[#,{{0,0,0},{0,0,0}}]])&,Table[RandomWolframModelRule[{{2,3}}{{3,3}}],100]]
In[]:=
Out[]=
Length[%]
In[]:=
65
Out[]=
ParallelMapMonitored[(If[#["TerminationReason"]==="FixedPoint",With[{u=Length[#["Sizes"]]},If[u<=10,{u,{}},{u,#}]],Nothing]&[WolframModelTest[#,{{0,0,0},{0,0,0}}]])&,Table[RandomWolframModelRule[{{2,3}}{{3,3}}],1000]]
In[]:=
Out[]=
ParallelMapMonitored[(If[#["TerminationReason"]==="FixedPoint",With[{u=Length[#["Sizes"]]},If[u<=10,{u,{}},{u,#}]],Nothing]&[WolframModelTest[#,{{0,0,0},{0,0,0}}]])&,Table[RandomWolframModelRule[{{2,3}}{{3,3}}],1000]]
In[]:=
Out[]=
ParallelMapMonitored[(If[#["TerminationReason"]==="FixedPoint",With[{u=Length[#["Sizes"]]},If[u<=10,{u,{}},{u,#}]],Nothing]&[WolframModelTest[#,{{0,0,0},{0,0,0}}]])&,Table[RandomWolframModelRule[{{2,3}}{{3,3}}],10000]]
In[]:=
Out[]=
Counts[First/@%]
In[]:=
15348,21138,3349,542,630,102,713,4108,88,92,121,131,271,112,151,161
Out[]=
Select[%47,Length[Last[#]]>0&]
In[]:=
Out[]=
ParallelEvaluate[TimeUsed[]]
In[]:=
{564.227,938.192,874.278,7394.38,712.782,812.267,2461.82,570.697,473.369,566.096,1099.57,1339.13,470.137,1013.72,890.51,7451.92,934.656,646.028,484.491,463.03,874.056,720.659,717.725,560.301,521.199,7500.55,457.591,7380.42,835.219,964.867,1160.75,890.077,1254.01,1136.8,1216.63,808.298,1131.86,7395.57,894.445,557.757,1461.,1340.98,827.618,934.546,1207.08,1043.69,1330.21,1010.73,1351.61,1004.64,7396.8,524.993,735.97,505.359,1614.93,768.551,526.272,997.508,595.135,729.29,799.587,747.027,1206.57,7396.03}
Out[]=
ParallelMapMonitored[(If[#["TerminationReason"]==="FixedPoint",With[{u=Length[#["Sizes"]]},If[u<=10,{u,{}},{u,#}]],Nothing]&[WolframModelTest[#,{{0,0,0},{0,0,0}}]])&,ParallelTable[RandomWolframModelRule[{{2,3}}{{3,3}}],10000]]
In[]:=
Parallel`Protected`PacketHandler
::default
:Unhandled packet SyntaxPacket[1885] received and discarded from KernelObject
Name: \local
KernelID: \21
.
Parallel`Protected`PacketHandler
::default
:Unhandled packet SyntaxPacket[104082] received and discarded from KernelObject
Name: \local
KernelID: \20
.
Parallel`Protected`PacketHandler
::default
:Unhandled packet SyntaxPacket[23835] received and discarded from KernelObject
Name: \local
KernelID: \15
.
General
:Further output of Parallel`Protected`PacketHandler::default will be suppressed during this calculation.
Out[]=
ParallelEvaluate[TimeUsed[]]
In[]:=
{570.082,944.592,884.462,7402.36,722.237,819.731,2472.44,578.338,483.004,577.988,1107.98,1349.14,478.079,1026.9,900.368,7462.38,946.276,655.602,495.357,472.123,882.254,730.095,730.477,572.288,529.517,7508.75,470.164,7389.13,843.287,975.855,1172.32,901.26,1268.84,1149.53,1222.89,819.598,1143.03,7403.81,907.453,572.494,1471.45,1352.91,837.016,946.566,1217.22,1056.09,1343.2,1023.39,1365.45,1018.9,7413.83,537.856,746.863,520.2,1626.85,779.693,539.697,1008.73,607.91,743.579,814.777,760.186,1219.3,7411.37}
Out[]=
Total[%-%53]
In[]:=
709.286
Out[]=
Length[%41]
In[]:=
706
Out[]=
Counts[#["TerminationReason"]&/@res]
In[]:=
FixedPoint10480
Out[]=
fixed=Select[res,#["TerminationReason"]==="FixedPoint"&];
In[]:=
KeySort[Counts[Length[#["Sizes"]]&/@fixed]]
In[]:=
18125,21627,3401,4233,553,620,719,91,131
Out[]=
sfixed=ReverseSortBy[fixed,Length[#["Sizes"]]&];
In[]:=
First[sfixed]
In[]:=
Out[]=
Select[ParallelMapMonitored[WolframModel[#Rule,#Init,Length[#Sizes]+5,"FinalState"]#Rule&,sfixed],ConnectedHypergraphQ[First[#]]&,5]
In[]:=
Out[]=
(HypergraphPlot[#,ImageSizeTiny]&/@WolframModel[#,{{0,0},{0,0}},10,"StatesList"])&/@(Last/@%)
In[]:=
Out[]=