WOLFRAM NOTEBOOK

In[]:=
RuleBank[sig_]:=RuleBank[sig]=EnumerateWolframModelRules[sig]
In[]:=
{RandomChoice[RuleBank[{{1,2}}{{2,2}}]],RandomChoice[RuleBank[{{2,2}}{{1,2}}]]}
Out[]=
{{{1,2}}{{3,2},{2,4}},{{1,2},{3,2}}{{4,1}}}
In[]:=
RuleBank[{{2,2}}{{3,2}}];
In[]:=
Select[ParallelMapMonitored[WolframModelTest[#,{{1,1}}]&,Table[{RandomChoice[RuleBank[{{1,2}}{{2,2}}]],RandomChoice[RuleBank[{{2,2}}{{1,2}}]]},100]],AnyTrue[Differences[#Sizes],#0&]&]
Out[]=
In[]:=
MakePictures2[%%]
Out[]=
In[]:=
Select[ParallelMapMonitored[WolframModelTest[#,{{1,1}}]&,Table[{RandomChoice[RuleBank[{{1,2}}{{2,2}}]],RandomChoice[RuleBank[{{2,2}}{{1,2}}]]},1000]],AnyTrue[Differences[#Sizes],#0&]&];
In[]:=
MakePictures2[%137]
Out[]=
In[]:=
Select[ParallelMapMonitored[WolframModelTest[#,{{1,1}}]&,Table[{RandomChoice[RuleBank[{{1,2}}{{2,2}}]],RandomChoice[RuleBank[{{2,2}}{{1,2}}]]},1000]],(AnyTrue[Differences[#Sizes],#<0&]&&ConnectedHypergraphQ[#FinalState])&];
Additional initial condition:

Rule Interference

Wolfram Cloud

You are using a browser not supported by the Wolfram Cloud

Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.


I understand and wish to continue anyway »

You are using a browser not supported by the Wolfram Cloud. Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.