diff --git a/AesopTest/Forward/Benchmark.lean b/AesopTest/Forward/Benchmark.lean
index 5a43539..fc18dc8 100644
--- a/AesopTest/Forward/Benchmark.lean
+++ b/AesopTest/Forward/Benchmark.lean
@@ -54,6 +54,7 @@ def isteps (n : Nat) : List Nat := (List.iota (n - 1)) ++ [0]
 #check runTestCluster
 -/
 
+/-
 /-
 **Uncomment to run tests**-/
 local notation "k" => 10
@@ -63,3 +64,4 @@ bchmk 3 with isteps k using fun n ↦ runTestErase k 0 k n
 bchmk 3 with (pows 5) using fun n ↦ runTestIndep 6 n
 bchmk 3 with (pows 6) using fun n ↦ runTestCascade n
 bchmk 3 with (pows 6) using fun n ↦ runTestCluster n 3 (2 ^ 5 / n)
+-/