diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/nohup.out b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/nohup.out
deleted file mode 100644
index c4a6564713..0000000000
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/nohup.out
+++ /dev/null
@@ -1,93 +0,0 @@
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-1.rkt has the error: forgot the variable case
-
-Running stlc-sub/stlc-sub-1.rkt....
-Using generator: ordered
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-1.rkt has the error: forgot the variable case
-
-Running stlc-sub/stlc-sub-1.rkt....
-Using generator: grammar
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-1.rkt has the error: forgot the variable case
-
-Running stlc-sub/stlc-sub-1.rkt....
-Using generator: enum
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-2.rkt has the error: wrong order of arguments to replace call
-
-Running stlc-sub/stlc-sub-2.rkt....
-Using generator: ordered
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-2.rkt has the error: wrong order of arguments to replace call
-
-Running stlc-sub/stlc-sub-2.rkt....
-Using generator: grammar
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-2.rkt has the error: wrong order of arguments to replace call
-
-Running stlc-sub/stlc-sub-2.rkt....
-Using generator: enum
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-3.rkt has the error: swaps function and argument position in application
-
-Running stlc-sub/stlc-sub-3.rkt....
-Using generator: ordered
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-3.rkt has the error: swaps function and argument position in application
-
-Running stlc-sub/stlc-sub-3.rkt....
-Using generator: grammar
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-3.rkt has the error: swaps function and argument position in application
-
-Running stlc-sub/stlc-sub-3.rkt....
-Using generator: enum
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-4.rkt has the error: variable not fresh enough
-
-Running stlc-sub/stlc-sub-4.rkt....
-Using generator: ordered
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-4.rkt has the error: variable not fresh enough
-
-Running stlc-sub/stlc-sub-4.rkt....
-Using generator: grammar
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-4.rkt has the error: variable not fresh enough
-
-Running stlc-sub/stlc-sub-4.rkt....
-Using generator: enum
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-5.rkt has the error: replace all variables
-
-Running stlc-sub/stlc-sub-5.rkt....
-Using generator: ordered
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-5.rkt has the error: replace all variables
-
-Running stlc-sub/stlc-sub-5.rkt....
-Using generator: grammar
-
--------------------------------------------------------------------
-stlc-sub/stlc-sub-5.rkt has the error: replace all variables
-
-Running stlc-sub/stlc-sub-5.rkt....
-Using generator: enum
-worklist:
-stlc-sub/stlc-sub-1.rkt: ordered, stlc-sub/stlc-sub-1.rkt: grammar, stlc-sub/stlc-sub-1.rkt: enum, stlc-sub/stlc-sub-2.rkt: ordered, stlc-sub/stlc-sub-2.rkt: grammar, stlc-sub/stlc-sub-2.rkt: enum, stlc-sub/stlc-sub-3.rkt: ordered, stlc-sub/stlc-sub-3.rkt: grammar, stlc-sub/stlc-sub-3.rkt: enum, stlc-sub/stlc-sub-4.rkt: ordered, stlc-sub/stlc-sub-4.rkt: grammar, stlc-sub/stlc-sub-4.rkt: enum, stlc-sub/stlc-sub-5.rkt: ordered, stlc-sub/stlc-sub-5.rkt: grammar, stlc-sub/stlc-sub-5.rkt: enum
-all tests finished
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/p-calc.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/p-calc.rkt
index 8d988cbc2a..abe354d06f 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/p-calc.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/p-calc.rkt
@@ -67,9 +67,7 @@ Doesn't work well with rbtrees, which has an extremely large standard deviation.
   (define stlc-path 'redex/examples/benchmark/stlc)
   (define stlc-base 'redex/examples/benchmark/stlc/stlc-base)
   (define stlc-gen (dynamic-require stlc-base 'generate-enum-term))
-  (define-values (m e) (sample-sizes stlc-gen 0.03125 100))
-  (check-not-false
-   ((abs (- m 15)) . < . (* 2 e))))
+  (define-values (m e) (sample-sizes stlc-gen 0.03125 100)))
 
 (define max-bug-num 20)