nzm

n-vivace-satreach-cyber/.gitignore

+.~*
 *cnf
 *dat
+*csv
 __pycache__/
 __pycache__/*
 allSynth/synth*txt

n-vivace-satreach-cyber/c-ECApaths.py

@@ -4,7 +4,7 @@ import re
 import yNaming as naming
 import random
 
-FILE_SYNTHESIS_WRITEMODE="w+" # overwrite
+FILE_SYNTHESIS_WRITEMODE="a" # append (overwrite)
 
 ECAminimals=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 
 		18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34,
@@ -35,7 +35,16 @@ def runcmd(cmd):
         sys.exit("\nFATAL ERROR code:%d raised by script command:\n[%s"%(cmdresult,cmd))
 
 
+def extract(pattern,strToParse):
+    """ minisat output string parsing """
+    srch=re.search(pattern+"\s+:\s+(\d+)", strToParse)
+    if srch:
+        return srch.group(1)
+    else:
+        print("FATAL : could not extract%s from [%s]"%(pattern,strToParse))
+
 def analyseRes3(res3, hashx, hashy):
+    """ minisat output string parsing """
     if ("CPU time" not in res3):
         print("res3:[%s]"%res3)
         print("CPUtime not found")
@@ -55,8 +64,15 @@ def analyseRes3(res3, hashx, hashy):
         print("COULD NOT FIND TIME in string:[%s]"%partTime)
         sys.exit(-88)
     satrescode=1 if satres=="SAT" else 0
-    result="%s %d %s ; %s -> %s"\
-        %(satres[:3], satrescode, timeres.group(0), hashx, hashy)
+
+
+    srch1=extract("restarts", res3)
+    srch2=extract("conflicts", res3)
+    srch3=extract("decisions", res3)
+    srch4=extract("propagations", res3)
+    result="%3s %d %-8s ; %2s %3s %3s %4s ; %s -> %s ; "\
+        %(satres[:3], satrescode, timeres.group(0),\
+          srch1, srch2, srch3, srch4, hashx, hashy)
     # satres= SAT / UNS
     return result
 
@@ -89,6 +105,7 @@ def runECA():
     filename="allSynth/synth-ECA%d-n%d-T%d.txt"%(ECA, N, TSTEPS)
     f=open(filename, FILE_SYNTHESIS_WRITEMODE)    
     for i in range(NSAMPLE):
+        print("----%d----"%(i+1))
         output=runOne()
         f.write(output+"\n")
     f.close()
@@ -99,8 +116,16 @@ def runAllECA():
         runECA()
 
 
-#ECA=70
-#runECA()
+
+def  tstRE():
+    res3="restarts : 445"
+    srch=re.search("restarts\s+:\s+(\d+)", res3)
+    if srch:
+        print("goude:"+srch.group(1))
+    else:
+        print("ZZZ...\n[%s]"%res3.replace('\n',' '))
+
 
 runAllECA()
 
+#ECA=126 ; runECA()

n-vivace-satreach-cyber/d-transitionGraph.py

@@ -26,4 +26,9 @@ def test():
     x=trans(x)
     print(x)
 
-test()
+#test()
\ No newline at end of file
+
+def strtst():
+    strn=r"hi\nha\nho\n!"
+    str2=strn.replace('\n',' ')
+    print(str2)
\ No newline at end of file

n-vivace-satreach-cyber/e-sunthesis.py

+# Building synthesis table
+#######
+ECAminimals=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 
+		18, 19, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34,
+		35, 36, 37, 38, 40, 41, 42, 43, 44, 45, 46, 50, 51, 54,
+		56, 57, 58, 60, 62, 72, 73, 74, 76, 77, 78, 90, 94, 104,
+		105, 106, 108, 110, 122, 126, 128, 130, 132, 134, 136,
+		138, 140, 142, 146, 150, 152, 154, 156, 160, 162, 164,
+		168, 170, 172, 178, 184, 200, 204, 232]
+
+
+ECAtest=126
+N=13
+Tsteps=55
+
+IREACH=1 ; ITIME=2
+IRESTARTS, ICONFLICTS, IDECISIONS, IPROPAGATIONS= 4,5,6,7
+
+reached=0
+
+def processData(data):
+    NS=len(data) # number of samples
+    sumreach=0
+    sumtime=0.
+    sr,sc,sd,sp=0,0,0,0
+    for line in data:
+        linedat=line.split()
+        reach, time,  = int( linedat[IREACH] ), float( linedat[ITIME] )
+        r,c,d,p=\
+            int(linedat[IRESTARTS] ), int(linedat[ICONFLICTS] ), int(linedat[IDECISIONS] ), int(linedat[IPROPAGATIONS] )
+        sr+=r ; sc+=c ; sd+=d ; sp+=p
+        sumreach+= reach
+        sumtime+= time
+        
+    preach= float(sumreach) / float(NS)
+    detreach="(%d/%d)"%(sumreach,NS)
+    return 'reached: %.2f %10s time:%.3f R: %3d C: %d D: %d P: %d'\
+          %(preach, detreach, sumtime, sr, sc, sd, sp)
+
+def readfile(ECA):
+    filename= "allSynth/synth-ECA%d-n%d-T%d.txt"%(ECA,N,Tsteps)
+    f=open(filename)
+    dat=f.readlines()
+    #print(dat)
+    strdat=processData(dat)
+    print("%3d %d %d %s"%( ECA, N, Tsteps, strdat ))
+
+def processAll():
+    for eca in ECAminimals:
+        readfile(eca)
+
+
+processAll()
\ No newline at end of file