diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt
index 6c486cfc7..9c3e2c842 100644
--- a/infer/man/man1/infer-full.txt
+++ b/infer/man/man1/infer-full.txt
@@ -1381,10 +1381,10 @@ INTERNAL OPTIONS
 
        --pulse-max-disjuncts int
            Under-approximate after int disjunctions in the domain (default:
-           50)
+           20)
 
        --pulse-widen-threshold int
-           Under-approximate after int loop iterations (default: 5)
+           Under-approximate after int loop iterations (default: 3)
 
        --reactive-capture
            Activates: Compile source files only when required by analyzer
diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index d6f2a8646..6944a1950 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -1846,12 +1846,12 @@ and project_root =
 
 
 and pulse_max_disjuncts =
-  CLOpt.mk_int ~long:"pulse-max-disjuncts" ~default:50
+  CLOpt.mk_int ~long:"pulse-max-disjuncts" ~default:20
     "Under-approximate after $(i,int) disjunctions in the domain"
 
 
 and pulse_widen_threshold =
-  CLOpt.mk_int ~long:"pulse-widen-threshold" ~default:5
+  CLOpt.mk_int ~long:"pulse-widen-threshold" ~default:3
     "Under-approximate after $(i,int) loop iterations"