diff --git a/test/1712.07167.jl b/test/1712.07167.jl
index d81663d..d2ac53f 100644
--- a/test/1712.07167.jl
+++ b/test/1712.07167.jl
@@ -7,7 +7,7 @@
         autS = WreathProduct(PermGroup(2), PermGroup(N))
 
         rm("oSL($N,Z)", recursive=true, force=true)
-        sett = PropertyT.Settings("SL($N,Z)", G, S, autS, with_SCS(2000, accel=20);
+        sett = PropertyT.Settings("SL($N,Z)", G, S, autS, with_SCS(1000, accel=20);
         upper_bound=0.27, force_compute=false)
 
         @info sett
diff --git a/test/SOS_correctness.jl b/test/SOS_correctness.jl
index f76f360..28d2b3d 100644
--- a/test/SOS_correctness.jl
+++ b/test/SOS_correctness.jl
@@ -33,7 +33,7 @@
     @time sos_sqr = PropertyT.compute_SOS_square(pm, Q)
     @time sos_hpc = PropertyT.compute_SOS(pm, Q)
 
-    @test norm(sos_sqr - sos_hpc, 1) < 4e-12
+    @test norm(sos_sqr - sos_hpc, 1) < 5e-12
     @info "$NAME:\nDifference in l₁-norm between square and hpc sos decompositions:" norm(eoi-sos_sqr,1) norm(eoi-sos_hpc,1) norm(sos_sqr - sos_hpc, 1)
 
     #########################################################