diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt
index d57f048c93..d2b3fd1270 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt
@@ -942,7 +942,7 @@
 
 
 (define (generate-enum-term)
-  (generate-term abort-lang e #:i-th (pick-an-index 0.0001)))
+  (generate-term abort-lang e #:i-th (pick-an-index 0.125)))
 
 (define (ordered-enum-generator)
   (define index 0)
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt
index 3a9177688e..01d67d1076 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt
@@ -940,7 +940,7 @@
 
 
 (define (generate-enum-term)
-  (generate-term abort-lang e #:i-th (pick-an-index 0.0001)))
+  (generate-term abort-lang e #:i-th (pick-an-index 0.125)))
 
 (define (ordered-enum-generator)
   (define index 0)
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt
index 7d8c8a67f7..8f74084be8 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt
@@ -940,7 +940,7 @@
 
 
 (define (generate-enum-term)
-  (generate-term abort-lang e #:i-th (pick-an-index 0.0001)))
+  (generate-term abort-lang e #:i-th (pick-an-index 0.125)))
 
 (define (ordered-enum-generator)
   (define index 0)
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-1.rkt
index 252b854477..33fb9aad19 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-1.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-1.rkt
@@ -434,7 +434,7 @@
     [#f #f]))
 
 (define (generate-enum-term)
-  (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.0001)))
+  (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.5)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-2.rkt
index 30ab220074..e5eadcebca 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-2.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-2.rkt
@@ -434,7 +434,7 @@
     [#f #f]))
 
 (define (generate-enum-term)
-  (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.0001)))
+  (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.5)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-3.rkt
index cb5dd99ff4..1120ed4bf0 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-3.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-3.rkt
@@ -430,7 +430,7 @@
     [#f #f]))
 
 (define (generate-enum-term)
-  (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.0001)))
+  (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.5)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-1.rkt
index 572ed74d8c..9561ec7160 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-1.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-1.rkt
@@ -284,7 +284,7 @@
               (equal? t-type red-type))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.065)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-2.rkt
index 11818409ed..3517e3b13a 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-2.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-2.rkt
@@ -282,7 +282,7 @@
               (equal? t-type red-type))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.065)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-3.rkt
index 8effebdef4..41f419471c 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-3.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-3.rkt
@@ -284,7 +284,7 @@
               (equal? t-type red-type))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.065)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-4.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-4.rkt
index 2ef34a53e4..56632a6726 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-4.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-4.rkt
@@ -284,7 +284,7 @@
               (equal? t-type red-type))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.065)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt
index e6d7f0ccc5..4c8e92154c 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt
@@ -284,7 +284,7 @@
               (equal? t-type red-type))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.065)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt
index 95105eb362..ae26a41da5 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt
@@ -284,7 +284,7 @@
               (equal? t-type red-type))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.065)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt
index b581320dfd..c8516eeeb2 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt
@@ -283,7 +283,7 @@
               (equal? t-type red-type))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.065)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt
index f84e98dd99..ba70702d59 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt
@@ -284,7 +284,7 @@
               (equal? t-type red-type))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.065)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-9.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-9.rkt
index b554f7e786..a62e7dd1e4 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-9.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-9.rkt
@@ -284,7 +284,7 @@
               (equal? t-type red-type))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.065)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-1.rkt
index 63f6ffc968..29bb95c3c3 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-1.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-1.rkt
@@ -290,7 +290,7 @@
       (ins-preserves-rb-tree t)))
 
 (define (generate-enum-term)
-  (generate-term rbtrees t #:i-th (pick-an-index 0.2)))
+  (generate-term rbtrees t #:i-th (pick-an-index 0.25)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-2.rkt
index 2f119b6a2b..519e16d2f6 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-2.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-2.rkt
@@ -288,7 +288,7 @@
       (ins-preserves-rb-tree t)))
 
 (define (generate-enum-term)
-  (generate-term rbtrees t #:i-th (pick-an-index 0.2)))
+  (generate-term rbtrees t #:i-th (pick-an-index 0.25)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-3.rkt
index 80c9a7fe1e..9787aeb134 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-3.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-3.rkt
@@ -290,7 +290,7 @@
       (ins-preserves-rb-tree t)))
 
 (define (generate-enum-term)
-  (generate-term rbtrees t #:i-th (pick-an-index 0.2)))
+  (generate-term rbtrees t #:i-th (pick-an-index 0.25)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt
index 095335de8f..631721e758 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt
@@ -277,7 +277,7 @@
                         (equal? t-type red-type))))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index 0.0001)))
+  (generate-term stlc M #:i-th (pick-an-index 0.035)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-2.rkt
index 92ef8c978d..1ad4deb20d 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-2.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-2.rkt
@@ -279,7 +279,7 @@
                         (equal? t-type red-type))))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index 0.0001)))
+  (generate-term stlc M #:i-th (pick-an-index 0.035)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt
index 9642f34467..2c57f2237f 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt
@@ -279,7 +279,7 @@
                         (equal? t-type red-type))))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index 0.0001)))
+  (generate-term stlc M #:i-th (pick-an-index 0.035)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-4.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-4.rkt
index 39f6af665e..7d2688f9ae 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-4.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-4.rkt
@@ -279,7 +279,7 @@
                         (equal? t-type red-type))))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index 0.0001)))
+  (generate-term stlc M #:i-th (pick-an-index 0.035)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-5.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-5.rkt
index b400ebe6c5..2278885c2b 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-5.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-5.rkt
@@ -279,7 +279,7 @@
                         (equal? t-type red-type))))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index 0.0001)))
+  (generate-term stlc M #:i-th (pick-an-index 0.035)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-1.rkt
index 1a5fe2efa2..57ed671a31 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-1.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-1.rkt
@@ -258,7 +258,7 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index 0.0001)))
+  (generate-term stlc M #:i-th (pick-an-index 0.035)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt
index c37526309f..a0524740c7 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt
@@ -259,7 +259,7 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index 0.0001)))
+  (generate-term stlc M #:i-th (pick-an-index 0.035)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt
index 81b7a859cb..706da6752e 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt
@@ -259,7 +259,7 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index 0.0001)))
+  (generate-term stlc M #:i-th (pick-an-index 0.035)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt
index aa51f4443d..c75c729903 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt
@@ -259,7 +259,7 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index 0.0001)))
+  (generate-term stlc M #:i-th (pick-an-index 0.035)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt
index b8fd50fadc..652c2d72fe 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt
@@ -258,7 +258,7 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index 0.0001)))
+  (generate-term stlc M #:i-th (pick-an-index 0.035)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt
index f9be03c38b..b610203301 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt
@@ -258,7 +258,7 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index 0.0001)))
+  (generate-term stlc M #:i-th (pick-an-index 0.035)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt
index 9c7265257f..f1b0139f16 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt
@@ -257,7 +257,7 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index 0.0001)))
+  (generate-term stlc M #:i-th (pick-an-index 0.035)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt
index 5feebae2ee..3505c25c9b 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt
@@ -258,7 +258,7 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index 0.0001)))
+  (generate-term stlc M #:i-th (pick-an-index 0.035)))
 
 (define (ordered-enum-generator)
   (let ([index 0])
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt
index 3a7e8dbcca..f8d1902ba9 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt
@@ -258,7 +258,7 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index 0.0001)))
+  (generate-term stlc M #:i-th (pick-an-index 0.035)))
 
 (define (ordered-enum-generator)
   (let ([index 0])