diff --git a/test/1712.07167.jl b/test/1712.07167.jl index 7264d49..b1c774e 100644 --- a/test/1712.07167.jl +++ b/test/1712.07167.jl @@ -70,7 +70,7 @@ @test λ == PropertyT.spectral_gap(sett) @test PropertyT.check_property_T(sett) == false - sett = PropertyT.Settings(NAME, G, S, autS, with_SCS(2000, accel=20, warm_start=true); + sett = PropertyT.Settings(NAME, G, S, autS, with_SCS(5000, accel=20, warm_start=true); upper_bound=1.3, force_compute=true) @info sett