diff --git a/n-vivace-satreach-cyber/.gitignore b/n-vivace-satreach-cyber/.gitignore index ad3973e7370e16b8800a04e7dcf9de1f475feb79..49e87e4e7494238a31bd1945d026e1c107990454 100644 --- a/n-vivace-satreach-cyber/.gitignore +++ b/n-vivace-satreach-cyber/.gitignore @@ -2,7 +2,9 @@ *cnf *dat *csv +z-kuber*txt __pycache__/ __pycache__/* +allSynth* allSynth/synth*txt diff --git a/n-vivace-satreach-cyber/c-ECApaths.py b/n-vivace-satreach-cyber/c-ECApaths.py index 3b458fecf02b431c37b7d8f98e12380d638f3324..dde0e427de8811225945ad0c76fe30402a85f5a7 100644 --- a/n-vivace-satreach-cyber/c-ECApaths.py +++ b/n-vivace-satreach-cyber/c-ECApaths.py @@ -15,8 +15,8 @@ ECAminimals=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 168, 170, 172, 178, 184, 200, 204, 232] -TSTEPS=55 -N=13 +TSTEPS=70 +N=30 NSAMPLE=20 #x, y = "010101001111010011011101", "101110110001110110111001" diff --git a/n-vivace-satreach-cyber/e-sunthesis.py b/n-vivace-satreach-cyber/e-sunthesis.py index b3dad2970dff1db61158987d7c77a9b6a990486d..69d71d7c90410a1989ae0da1bb4473281572b35a 100644 --- a/n-vivace-satreach-cyber/e-sunthesis.py +++ b/n-vivace-satreach-cyber/e-sunthesis.py @@ -8,12 +8,10 @@ ECAminimals=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 138, 140, 142, 146, 150, 152, 154, 156, 160, 162, 164, 168, 170, 172, 178, 184, 200, 204, 232] +N=30 ; Tsteps=70 -ECAtest=126 -N=13 -Tsteps=55 - -IREACH=1 ; ITIME=2 +# column indices +IREACH,ITIME= 1,2 IRESTARTS, ICONFLICTS, IDECISIONS, IPROPAGATIONS= 4,5,6,7 reached=0 @@ -43,7 +41,7 @@ def readfile(ECA): dat=f.readlines() #print(dat) strdat=processData(dat) - print("%3d %d %d %s"%( ECA, N, Tsteps, strdat )) + print("%-3d %d %d %s"%( ECA, N, Tsteps, strdat )) def processAll(): for eca in ECAminimals: