In[]:=
Monitor[Do[tcrits[i]=CanonicalCriticalPairs[WolframModel[{{1,2},{1,3}}{{2,4},{2,3},{4,1}}],i,"IncludeSelfPairs"False];,{i,0,3}],i]
In[]:=
Table[Length[tcrits[i]["Resolved"]],{i,0,3}]
Out[]=
{0,6,14,14}
In[]:=
Table[Length[tcrits[i]["Unresolved"]],{i,0,3}]
Out[]=
{14,8,0,0}
In[]:=
XYifyRule[{{1},{1}}{{1},{1},{1}}]
Out[]=
{{x},{x}}{{x},{x},{x}}
In[]:=
Graph[MultiwaySystem[WolframModel[{{1},{1}}{{1},{1},{1}}],{{1},{1}},3,"StatesGraph"],VertexSize1]
Out[]=
In[]:=
Graph[MultiwaySystem[WolframModel[{{1},{1}}{{1},{1},{1}}],{{1},{1}},3,"EvolutionEventsGraph"],VertexSize1]
Out[]=
In[]:=
Graph[MultiwaySystem[WolframModel[{{1},{1}}{{1},{1},{1}}],{{1},{1}},5,"EvolutionCausalGraph"],VertexSize1]
Out[]=
In[]:=
TotalCausalInvariantQ[WolframModel[{{x},{x}}{{x},{x},{x}}],1]
Out[]=
True