2,2 2,2
2,2 2,2
In[]:=
allrules=Import["/Users/sw/Dropbox/Physics/Data/RuleEnumerations/22-22c.wxf"];
In[]:=
Length[allrules]
Out[]=
562
In[]:=
ans=ParallelMapMonitored[TotalCausalInvariantQ[WolframModel[#],1]&,allrules];//AbsoluteTiming
Out[]=
{7.42152,Null}
In[]:=
Counts[ans]
Out[]=
False562
In[]:=
ans=ParallelMapMonitored[TotalCausalInvariantQ[WolframModel[#],2]&,allrules];//AbsoluteTiming
Out[]=
{3.52724,Null}
In[]:=
Counts[ans]
Out[]=
False562
In[]:=
ans=ParallelMapMonitored[TotalCausalInvariantQ[WolframModel[#],3]&,allrules];//AbsoluteTiming
Out[]=
{4.00348,Null}
In[]:=
Counts[ans]
Out[]=
False562
2,3 2,3
2,3 2,3
In[]:=
allrules3=Import["/Users/sw/Dropbox/Physics/Data/RuleEnumerations/23-23c.wxf"];
In[]:=
Length[allrules3]
Out[]=
772696
In[]:=
rsamp=RandomSample[allrules3,200];
In[]:=
ans=ParallelMapMonitored[TotalCausalInvariantQ[WolframModel[#],1]&,rsamp];//AbsoluteTiming
Out[]=
{1.73137,Null}
In[]:=
Counts[ans]
Out[]=
False200
2,3 3,3 (random)
2,3 3,3 (random)
In[]:=
samp23=ParallelTable[RandomWolframModelRule[{{2,3}}{{3,3}}],100];
In[]:=
ans=ParallelMapMonitored[TotalCausalInvariantQ[WolframModel[#],1]&,samp23];//AbsoluteTiming
Out[]=
{1.06897,Null}
In[]:=
Counts[ans]
Out[]=
False100
In[]:=
samp23=ParallelTable[RandomWolframModelRule[{{2,3}}{{3,3}}],1000];
In[]:=
ans=ParallelMapMonitored[TotalCausalInvariantQ[WolframModel[#],1]&,samp23];//AbsoluteTiming
Out[]=
{8.93259,Null}
In[]:=
Counts[ans]
Out[]=
False992,True8
In[]:=
Pick[samp23,ans,True]
Out[]=
In[]:=
ParallelMapMonitored[FinalPicture[#,5]&,%]
Out[]=
In[]:=
samp23=ParallelTable[RandomWolframModelRule[{{2,3}}{{3,3}}],1000];
In[]:=
ans=ParallelMapMonitored[TotalCausalInvariantQ[WolframModel[#],1]&,samp23];//AbsoluteTiming
Out[]=
{9.27581,Null}
In[]:=
Counts[ans]
Out[]=
False991,True9
In[]:=
Pick[samp23,ans,True]
Out[]=
In[]:=
ParallelMapMonitored[FinalPicture[#,5]&,%]
Out[]=
In[]:=
ans=ParallelMapMonitored[TotalCausalInvariantQ[WolframModel[#],3]&,samp23];//AbsoluteTiming
Out[]=
{318.751,Null}
In[]:=
Counts[ans]
Out[]=
False968,True32
In[]:=
Pick[samp23,ans]
Out[]=
[[ check completion; no time constraint ... ]]
[[ check completion; no time constraint ... ]]