From 87b0512580a9185c3e6e7b14738b611bef3e32c0 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Mon, 20 Jan 2020 03:33:25 +0100 Subject: [PATCH] try to be smarter when runing the second optimization --- runcomputations.jl | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/runcomputations.jl b/runcomputations.jl index 3fb154c..fe59e58 100644 --- a/runcomputations.jl +++ b/runcomputations.jl @@ -53,9 +53,14 @@ let GROUP = ARGS[1] λ = check_propertyT(groups[GROUP], group_name, HALFRADIUS, Inf, AutomaticStructure, with_SCS(100_000, 50)) - if λ > 1e-2 # there is still a chance to detect spectral gap + if λ > 0.01 # there is still a chance to detect spectral gap + new_λ = round(0.8λ, sigdigits=2) + new_dir = joinpath(group_name, "$new_λ") + mkpath(new_dir) + cp(joinpath(group_name, "Inf", "warmstart.jld"), new_dir) + check_propertyT(groups[GROUP], group_name, - HALFRADIUS, Inf, AutomaticStructure, with_SCS(500_000, 0)) + HALFRADIUS, new_λ, AutomaticStructure, with_SCS(500_000, 0)) end end end