1,21,3+1,2

allrules=EnumerateWolframModelRules[{{1,2}}{{1,3},{1,2}}];
In[]:=
Length[allrules]
In[]:=
634
Out[]=
res=ParallelMapMonitored[WolframModelTest[#,Table[{0,0},1]]&,allrules];
In[]:=
cres=FilterConnected[res];
In[]:=
Counts[#["EvolutionObject"]["TerminationReason"]&/@cres]
In[]:=
MaxVertexDegree218,MaxGenerations96,MaxVertices102
Out[]=
MakePicturesGS[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxGenerations"&]]
In[]:=
Out[]=
MakePicturesGS[First/@GatherBy[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxVertices"&],#FinalState&]]
In[]:=
Out[]=
MakePicturesGS[RandomSample[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxVertexDegree"&],20]]
In[]:=
Out[]=

1,21,3+2,2

rules=Table[RandomWolframModelRule[{{1,2}}{{1,3},{2,2}}],1000];
In[]:=
est[{{1,2}}{{1,3},{2,2}}]//N
In[]:=
10573.5
Out[]=
Select[rules,LeftConnectedRuleQ];
In[]:=
res=ParallelMapMonitored[WolframModelTest[#,Table[{0,0},1]]&,%];
In[]:=
cres=FilterConnected[res];
In[]:=
Counts[#["EvolutionObject"]["TerminationReason"]&/@cres]
In[]:=
MaxVertices202,MaxVertexDegree62,MaxEdges16
Out[]=
MakePicturesGS[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxEdges"&]]
In[]:=
Out[]=
MakeDirectPictures[{{{{1,2}}{{3,2,1},{2,3},{3,1}},{{0,0}},7}},2]
In[]:=
Out[]=
In[]:=
{{{1,2},{2,3}}{{2,3},{2,4},{3,4},{1,2}},{{0,0},{0,0}},9}
Out[]=
allrules=EnumerateWolframModelRules[{{1,2}}{{1,3},{2,2}}];
In[]:=
Length[allrules]
In[]:=
7652
Out[]=
res=ParallelMapMonitored[WolframModelTest[#,Table[{0,0},1]]&,allrules];
In[]:=
cres=FilterConnected[res];
In[]:=
Counts[#["EvolutionObject"]["TerminationReason"]&/@cres]
In[]:=
MaxVertexDegree1398,MaxEdges590,MaxVertices2361
Out[]=
MakePicturesGS[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxEdges"&]]
In[]:=
Out[]=
MakeDirectPictures[{{{{1,2}}{{1,1,2},{1,3},{3,2}},{{0,0}},7},{{{1,2}}{{1,1,2},{1,3},{3,2}},{{0,0}},7},{{{1,2}}{{1,1,2},{1,3},{2,3}},{{0,0}},7},{{{1,2}}{{2,2,3},{3,1},{3,2}},{{0,0}},7},{{{1,2}}{{1,3,3},{1,3},{2,3}},{{0,0}},7}},1]
In[]:=
Out[]=
Last[{{{{1,2}}{{1,1,2},{1,3},{3,2}},{{0,0}},7},{{{1,2}}{{1,1,2},{1,3},{3,2}},{{0,0}},7},{{{1,2}}{{1,1,2},{1,3},{2,3}},{{0,0}},7},{{{1,2}}{{2,2,3},{3,1},{3,2}},{{0,0}},7},{{{1,2}}{{1,3,3},{1,3},{2,3}},{{0,0}},7},{{{1,2}}{{2,3,3},{2,3},{3,1}},{{0,0}},7}}]
In[]:=
MakeDirectPictures[{{{{1,2}}{{2,3,3},{2,3},{3,1}},{{0,0}},7}},1]
In[]:=
Out[]=
MakePicturesGS[RandomSample[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxVertices"&],30]]
In[]:=
Out[]=
MakeDirectPictures[{{{{1,2}}{{3,1,4},{1,3},{2,3}},{{0,0}},7},{{{1,2}}{{3,4,2},{1,4},{4,1}},{{0,0}},7},{{{1,2}}{{2,3,1},{1,4},{4,3}},{{0,0}},7}},1]
In[]:=
Out[]=
MakePicturesGS[RandomSample[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxVertexDegree"&],30]]
In[]:=
Out[]=

1,21,3+1,2+1,1

RuleSignatureForm[{{1,2}}{{1,3},{1,2},{1,1}}]
In[]:=
1
2

1
3
1
2
1
1
Out[]=
allrules=EnumerateWolframModelRules[{{1,2}}{{1,3},{1,2},{1,1}}];
In[]:=
Length[allrules]
In[]:=
2212
Out[]=
res=ParallelMapMonitored[WolframModelTest[#,Table[{0,0},1]]&,allrules];
In[]:=
cres=FilterConnected[res];
In[]:=
Counts[#["EvolutionObject"]["TerminationReason"]&/@cres]
In[]:=
MaxVertexDegree670,MaxEdges258,MaxVertices378
Out[]=
MakePicturesGS[RandomSample[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxVertices"&],30]]
In[]:=
Out[]=

1,22,3+1,2

RuleSignatureForm[{{1,2}}{{2,3},{1,2}}]
In[]:=
1
2

2
3
1
2
Out[]=
allrules=EnumerateWolframModelRules[{{1,2}}{{2,3},{1,2}}];
In[]:=
Length[allrules]
In[]:=
44686
Out[]=
res=ParallelMapMonitored[WolframModelTest[#,Table[{0,0},1]]&,allrules];
In[]:=
cres=FilterConnected[res];
In[]:=
Counts[#["EvolutionObject"]["TerminationReason"]&/@cres]
In[]:=
$Aborted
Out[]=
MakePicturesGS[RandomSample[cres,30]]
In[]:=
Out[]=
MakePicturesGS[RandomSample[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxEdges"&],30]]
In[]:=
Out[]=
MakePicturesGS[RandomSample[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxVertices"&],30]]
In[]:=
Out[]=
MemoryInUse[]
In[]:=
4792427408
Out[]=

1,22,3+2,2

RuleSignatureForm[{{1,2}}{{2,3},{2,2}}]
In[]:=
1
2

2
3
2
2
Out[]=
rules=Table[RandomWolframModelRule[{{1,2}}{{2,3},{2,2}}],1000];
In[]:=
est[{{1,2}}{{2,3},{2,2}}]//N
In[]:=
1.0534×
6
10
Out[]=
Select[rules,LeftConnectedRuleQ];
In[]:=
res=ParallelMapMonitored[WolframModelTest[#,Table[{0,0},1]]&,%];
In[]:=
cres=FilterConnected[res];
In[]:=
Counts[#["EvolutionObject"]["TerminationReason"]&/@cres]
In[]:=
MaxVertices268,MaxVertexDegree44,MaxEdges14
Out[]=
MakePicturesGS[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxEdges"&]]
In[]:=
Out[]=
MakeDirectPictures[{{{{1,2}}{{1,1,3},{1,4,4},{4,2},{4,3}},{{0,0}},7}},2]
In[]:=
Out[]=
MakePicturesGS[RandomSample[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxVertices"&],30]]
In[]:=
Out[]=
MakeDirectPictures[{{{{1,2}}{{1,3,4},{4,5,1},{2,3},{3,2}},{{0,0}},7},{{{1,2}}{{3,1,4},{3,5,2},{6,3},{6,5}},{{0,0}},6},{{{1,2}}{{3,1,4},{3,5,2},{6,3},{6,5}},{{0,0}},6}},1]
In[]:=
Out[]=
MakePicturesGS[RandomSample[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxVertices"&],30]]
In[]:=
Out[]=
MakeDirectPictures[{{{{1,2}}{{3,3,4},{2,4,5},{2,3},{3,1}},{{0,0}},7}},1]
In[]:=
Out[]=
MakeDirectPictures[{{{{1,2}}{{3,3,4},{2,4,5},{2,3},{3,1}},{{0,0}},7}},2]
In[]:=
Out[]=

1,32,3+1,2

RuleSignatureForm[{{1,3}}{{2,3},{1,2}}]
In[]:=
1
3

2
3
1
2
Out[]=
rules=Table[RandomWolframModelRule[{{1,3}}{{2,3},{1,2}}],1000];
In[]:=
est[{{1,3}}{{2,3},{1,2}}]//N
In[]:=
339285.
Out[]=
Select[rules,LeftConnectedRuleQ];
In[]:=
res=ParallelMapMonitored[WolframModelTest[#,Table[{0,0,0},1]]&,%520];
In[]:=
cres=FilterConnected[res];
In[]:=
Counts[#["EvolutionObject"]["TerminationReason"]&/@cres]
In[]:=
MaxVertices97,MaxEdges6,MaxVertexDegree66,FixedPoint9
Out[]=
MakePicturesGS[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxEdges"&]]
In[]:=
Out[]=
MakePicturesGS[Take[Select[cres,#["EvolutionObject"]["TerminationReason"]==="MaxVertices"&],30]]
In[]:=
Out[]=