fix setup

setup_sac.py

@@ -16,7 +16,7 @@ def setup():
     for cribSize in [8,12,16]:
             for sac in ["true", "false"]:
                 keyfile.write(str(cribSize)+' '+ sac +'\n')
-                keyfile.write('./run.sh #BENCHMARK '+str(cribSize)+' '+ sac +'\n')
+                keyfile.write('./run.sh EnigmaBreak #BENCHMARK '+str(cribSize)+' '+ sac +'\n')
 
 # declare the benchmarks (print_benchlist assumes that everything in benchfolder is an instance file)
     benchfolder = '%s/instancesVendredi'%(os.getcwd())