diff --git a/src/domain/dls_test.ml b/src/domain/dls_test.ml
index 06586d3d..31bd382c 100644
--- a/src/domain/dls_test.ml
+++ b/src/domain/dls_test.ml
@@ -21,4 +21,4 @@ let run n =
         interp sut (cmds@cmds@cmds)) |> Domain.join
   done
 
-let _ = run 10_000
+let _ = run 50_000