reapply the diffs to get the new p values set for enumeration-based random generation

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)

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)

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)

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])

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])