In[]:=
checkruleV[rule_]:=With[{eo=TimeConstrained[WolframModel[rule,{{0,0,0},{0,0,0}},<|"MaxVertices"200,"MaxEdges"200,"MaxEvents"5000,"MaxGenerations"100,"MaxVertexDegree"20|>,TimeConstraint5],6]},If[eo["TerminationReason"]=!="MaxVertices"||!ConnectedHypergraphQ[eo["FinalState"]]||Median[Max[Abs[Differences[#]]]&/@eo["FinalState"]]<6,Null,Rasterize[HypergraphPlot[eo["FinalState"]],RasterSize50]rule]]
In[]:=
checkruleV[rule_,terms_]:=With[{eo=TimeConstrained[WolframModel[rule,{{0,0,0},{0,0,0}},<|"MaxVertices"200,"MaxEdges"200,"MaxEvents"5000,"MaxGenerations"100,"MaxVertexDegree"20|>,TimeConstraint5],6]},If[!MemberQ[terms,eo["TerminationReason"]]||!ConnectedHypergraphQ[eo["FinalState"]]||Median[Max[Abs[Differences[#]]]&/@eo["FinalState"]]<6,Null,Rasterize[HypergraphPlot[eo["FinalState"]],RasterSize50]rule]]
In[]:=
checkruleV[rule_,terms_,init_]:=With[{eo=TimeConstrained[WolframModel[rule,init,<|"MaxVertices"200,"MaxEdges"200,"MaxEvents"5000,"MaxGenerations"100,"MaxVertexDegree"20|>,TimeConstraint5],6]},If[!MemberQ[terms,eo["TerminationReason"]]||!ConnectedHypergraphQ[eo["FinalState"]]||Median[Max[Abs[Differences[#]]]&/@eo["FinalState"]]<6,Null,Rasterize[HypergraphPlot[eo["FinalState"]],RasterSize50]rule]]
In[]:=
selector[data_]:=Module[{acc={},di=ImageAdjust[First[#]]&/@data,dr,list},dr=DimensionReduce[First/@data,2];list=Transpose[{di,dr,Last/@data}];{Graphics[Inset[Button[Tooltip[Image[#1,ImageSize30],#1],AppendTo[acc,#3]],#2,BackgroundTransparent]&@@@list,ImageSize1000,FrameTrue],Column[{Button["Clear",acc={}],Button["Copy",CopyToClipboard[acc]]}]}]
In[]:=
pix[list_]:=InteractiveListSelectorSW[ParallelMapMonitored[With[{w=WolframModelTest[#,{{0,0,0},{0,0,0}}]},Labeled[GraphPlot[HypergraphToGraph[w["FinalState"]]],Length[w["Sizes"]]]{w["Rule"],w["Init"],Length[w["Sizes"]]}]&,list]]
In[]:=
$OutputCounter=1;
In[]:=
Module[{qq},Export["/Users/sw/Dropbox/Physics/Data/23-43-Searches/"<>ToString[$OutputCounter++]<>".wxf",qq=DeleteCases[ParallelMapMonitored[checkruleV[#,{"MaxVertices","MaxEdges","MaxGenerations","MaxEvents"}]&,Table[RandomWolframModel[{{2,3}}{{4,3}}],300]],Null]];selector/@Partition[qq,UpTo[80]]]
Out[]=
In[]:=
Module[{qq},Export["/Users/sw/Dropbox/Physics/Data/23-43-Searches/"<>ToString[$OutputCounter++]<>".wxf",qq=DeleteCases[ParallelMapMonitored[checkruleV[#,{"MaxVertices","MaxEdges","MaxGenerations","MaxEvents"}]&,Table[RandomWolframModel[{{2,3}}{{4,3}}],1000]],Null]];selector/@Partition[qq,UpTo[80]]]
Out[]=
In[]:=
Module[{qq},Export["/Users/sw/Dropbox/Physics/Data/23-43-Searches/"<>ToString[$OutputCounter++]<>".wxf",qq=DeleteCases[ParallelMapMonitored[checkruleV[#,{"MaxVertices","MaxEdges","MaxGenerations","MaxEvents"}]&,Table[RandomWolframModel[{{2,3}}{{4,3}}],10000]],Null]];selector/@Partition[qq,UpTo[80]]]
Out[]=

Rerunning