adjust probability of zero for the enumerator in the various

benchmarks to try to get a better balance between generation
time and size of terms

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

@@ -942,4 +942,4 @@
 
 
 (define (generate-enum-term)
-  (generate-term abort-lang e #:i-th (pick-an-index)))
+  (generate-term abort-lang e #:i-th (pick-an-index 0.0001)))

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

@@ -940,4 +940,4 @@
 
 
 (define (generate-enum-term)
-  (generate-term abort-lang e #:i-th (pick-an-index)))
+  (generate-term abort-lang e #:i-th (pick-an-index 0.0001)))

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

@@ -940,4 +940,4 @@
 
 
 (define (generate-enum-term)
-  (generate-term abort-lang e #:i-th (pick-an-index)))
+  (generate-term abort-lang e #:i-th (pick-an-index 0.0001)))

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

@@ -937,4 +937,4 @@
   (judgment-holds (tc · · ,e t)))
 
 (define (generate-enum-term)
-  (generate-term abort-lang e #:i-th (pick-an-index)))
+  (generate-term abort-lang e #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-1.rkt

@@ -434,4 +434,4 @@
     [#f #f]))
 
 (define (generate-enum-term)
-  (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index)))
+  (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-2.rkt

@@ -434,4 +434,4 @@
     [#f #f]))
 
 (define (generate-enum-term)
-  (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index)))
+  (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-3.rkt

@@ -430,4 +430,4 @@
     [#f #f]))
 
 (define (generate-enum-term)
-  (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index)))
+  (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-base.rkt

@@ -430,4 +430,4 @@
     [#f #f]))
 
 (define (generate-enum-term)
-  (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index)))
+  (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-10.rkt

@@ -281,4 +281,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-2.rkt

@@ -279,4 +279,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-3.rkt

@@ -281,4 +281,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-4.rkt

@@ -281,4 +281,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt

@@ -281,4 +281,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt

@@ -281,4 +281,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt

@@ -280,4 +280,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt

@@ -281,4 +281,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-9.rkt

@@ -281,4 +281,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-base.rkt

@@ -281,4 +281,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term poly-stlc M #:i-th (pick-an-index)))
+  (generate-term poly-stlc M #:i-th (pick-an-index 0.001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt

@@ -276,4 +276,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-2.rkt

@@ -275,4 +275,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt

@@ -276,4 +276,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-4.rkt

@@ -274,4 +274,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-5.rkt

@@ -276,4 +276,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-6.rkt

@@ -276,4 +276,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-7.rkt

@@ -276,4 +276,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-8.rkt

@@ -275,4 +275,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-9.rkt

@@ -276,4 +276,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-base.rkt

@@ -275,4 +275,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-10.rkt

@@ -251,4 +251,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt

@@ -251,4 +251,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt

@@ -252,4 +252,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt

@@ -252,4 +252,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt

@@ -251,4 +251,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt

@@ -251,4 +251,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt

@@ -250,4 +250,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt

@@ -251,4 +251,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt

@@ -251,4 +251,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-base.rkt

@@ -252,4 +252,4 @@
           (equal? t-type (type-check (car red-res))))))))
 
 (define (generate-enum-term)
-  (generate-term stlc M #:i-th (pick-an-index)))
+  (generate-term stlc M #:i-th (pick-an-index 0.0001)))