diff --git a/runcomputations.jl b/runcomputations.jl
index fe59e58..9954124 100644
--- a/runcomputations.jl
+++ b/runcomputations.jl
@@ -50,10 +50,10 @@ let GROUP = ARGS[1]
         global_logger(logger)
 
         @info "" group_name
-        λ = check_propertyT(groups[GROUP], group_name,
+        certified_λ, λ = check_propertyT(groups[GROUP], group_name,
         HALFRADIUS, Inf, AutomaticStructure, with_SCS(100_000, 50))
 
-        if λ > 0.01 # there is still a chance to detect spectral gap
+        if certified_λ < 0.0 && λ > 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)
diff --git a/src/utils.jl b/src/utils.jl
index ed3753c..d5d17ee 100644
--- a/src/utils.jl
+++ b/src/utils.jl
@@ -60,7 +60,8 @@ function check_propertyT(sett::PropertyT.Settings)
     certified_λ = PropertyT.certify_SOS_decomposition(ELT, Δ, λ, Q, R=sett.halfradius)
 
     PropertyT.interpret_results(sett, certified_λ/100)
-    return certified_λ/100
+
+    return certified_λ/100, λ/100
 end
 
 function load_basis!(RG::GroupRing, sett::PropertyT.Settings)