all42=Import["/Users/sw/Dropbox/Physics/Data/RuleEnumerations/22-42c.wxf"];
In[]:=
RandomSample[all42,4]
In[]:=
Out[]=
Only one new variable on the right
No repeated edges on the right
No repeated edges on the right
all42proc=Select[all42,Max[Last[#]]Max[First[#]]+1&];
In[]:=
Length[all42proc]
In[]:=
7933
Out[]=
Length[all42]
In[]:=
40405
Out[]=
all42procx=Select[all42,Max[Last[#]]Max[First[#]]+1&&Length[Union[Last[#]]]Length[Last[#]]&];
In[]:=
Length[all42procx]
In[]:=
3689
Out[]=
RandomSample[all42procx,5]
In[]:=
Out[]=
Loops on the right are OK.
MakePictures2[ParallelMapMonitored[WolframModelTest[#,Automatic]&,RandomSample[all42procx,5]]]
In[]:=
Out[]=
MakePictures2[ParallelMapMonitored[WolframModelTest[#,Automatic]&,RandomSample[all42procx,40]]]
In[]:=
Out[]=
MakePictures2[ParallelMapMonitored[WolframModelTest[#,Automatic]&,RandomSample[all42procx,50]]]
In[]:=
Out[]=