diff --git a/runcomputations.jl b/runcomputations.jl
index 495a182..3507bed 100644
--- a/runcomputations.jl
+++ b/runcomputations.jl
@@ -23,12 +23,13 @@ include(joinpath("src", "utils.jl"))
 
 const HALFRADIUS = 3
 using SCS
-with_SCS() = with_optimizer(SCS.Optimizer,
+
+with_SCS(iters=30_000, acceleration=10) = with_optimizer(SCS.Optimizer,
     linear_solver=SCS.Direct,
-    max_iters=100_000,
+    max_iters=iters,
     eps=1e-9,
-    alpha=1.5,
-    acceleration_lookback=10,
+    alpha=(acceleration == 0 ? 1.95 : 1.5),
+    acceleration_lookback=acceleration,
     warm_start=true)
 
 groups = parse_grouppresentations("data/presentations_4_4_4.txt")
@@ -36,6 +37,8 @@ groups = parse_grouppresentations("data/presentations_3_3_4.txt")
 
 for (group_name, G) in groups
     @info "" group_name
-    check_propertyT(G, "log/$(group_name)_r$HALFRADIUS",
-    HALFRADIUS, Inf, AutomaticStructure)
+
+    check_propertyT(groups[group_name], "log/$(group_name)_r$HALFRADIUS",
+    HALFRADIUS, Inf, AutomaticStructure, with_SCS(50_000, 50))
+
 end
diff --git a/src/utils.jl b/src/utils.jl
index 129f9c1..4de3fa3 100644
--- a/src/utils.jl
+++ b/src/utils.jl
@@ -1,11 +1,11 @@
 function check_propertyT(G::FPGroup, name::AbstractString,
-    halfradius::Integer=2, upper_bound=Inf, reduction=KnuthBendix; kwargs...)
+    halfradius::Integer=2, upper_bound=Inf, reduction=KnuthBendix, with_optimizer=with_SCS(), kwargs...)
 
     @info "GAP code defining group:\n $(GAP_code(G))"
     S = gens(G)
     S = unique([S; inv.(S)])
 
-    sett = PropertyT.Settings(name, G, S, with_SCS();
+    sett = PropertyT.Settings(name, G, S, with_optimizer;
             halfradius=halfradius, upper_bound=upper_bound, force_compute=true)
 
     fp = PropertyT.fullpath(sett)