Update some time estimates

AsgerHB · May 23, 2023 · 1fd3798 · 1fd3798
1 parent a1827c0
commit 1fd3798
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Shared Code/Get libccshield.jl b/Shared Code/Get libccshield.jl
@@ -44,7 +44,7 @@ function get_shield(possible_shield_file, working_dir; test)
     number_of_grid_points = length(grid_points(box(grid, [1, 1, 1]), samples_per_axis))
 
     progress_update("Synthesising shield: $number_of_grid_points samples $(grid.G) G")
-    progress_update("Estimated time to synthesise: 50 minutes (3 minutes if run with --test)")
+    progress_update("Estimated time to synthesise: 35 minutes (3 minutes if run with --test)")
 
     shield_dir = working_dir ⨝ "$number_of_grid_points samples $(grid.G) G.shield"
 

diff --git a/Shared Code/Get libopshield.jl b/Shared Code/Get libopshield.jl
@@ -43,7 +43,7 @@ function get_shield(possible_shield_file, working_dir; test)
     simulation_model = SimulationModel(get_simulation_function(m), get_randomness_space(m), samples_per_axis)
 
     progress_update("Synthesising shield: $(prod(samples_per_axis)) samples $(grid.granularity) G")
-    progress_update("Estimated time to synthesise: 16 minutes (2 minutes if run with --test)")
+    progress_update("Estimated time to synthesise: 5 hours (a few seconds if run with --test)")
 
     shield_dir = working_dir ⨝ "$(prod(samples_per_axis)) samples $(grid.granularity) G.shield"