adjust enum distributions

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt

@@ -937,7 +937,7 @@
   (judgment-holds (tc · · ,e t)))
 
 (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)

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-base.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])

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-base.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])

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-base.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])

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-base.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])

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-base.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])