2: 12

In[]:=
allrules=Tuples[{Rule@@@Tuples[{StringTuples["AB",1],StringTuples["AB",2]}]}]
Out[]=
{{AAA},{AAB},{ABA},{ABB},{BAA},{BAB},{BBA},{BBB}}
In[]:=
InteractiveListSelectorSW[ParallelMapMonitored[Function[r,Labeled[MultiwaySystem[r,StringTuples["AB",1],6,"StatesGraphStructure"],TimeConstrained[Counts[CausalInvariantQ[r,#,4]&/@StringTuples["AB",1]],20]]r],allrules]]
Out[]=
In[]:=
InteractiveListSelectorSW[ParallelMapMonitored[Function[r,Labeled[MultiwaySystem[r,StringTuples["AB",2],6,"StatesGraphStructure"],TimeConstrained[Counts[CausalInvariantQ[r,#,4]&/@StringTuples["AB",2]],20]]r],allrules]]
Out[]=
{{AAB}}
In[]:=
MultiwaySystem[{"A""AB"},StringTuples["AB",2],5,"StatesGraph"]
Out[]=
In[]:=
Graph3D[MultiwaySystem[{"A""AB"},{"AAA"},5,"StatesGraphStructure"],GraphLayout"SpringElectricalEmbedding",VertexCoordinatesAutomatic]
Out[]=
In[]:=
Graph3D[MultiwaySystem[{"A""AB"},{"AAAA"},5,"StatesGraphStructure"],GraphLayout"SpringElectricalEmbedding",VertexCoordinatesAutomatic]
Out[]=
In[]:=
MultiwaySystem[{"A""AB"},{"AAA"},5,"StatesGraphStructure"]
Out[]=

3: 12

2: 11, 11

2: 12, 11