diff --git a/tests/bench/speedcenter.exec.velcom.yaml b/tests/bench/speedcenter.exec.velcom.yaml
index 4efdcfd8c2..ed27046d87 100644
--- a/tests/bench/speedcenter.exec.velcom.yaml
+++ b/tests/bench/speedcenter.exec.velcom.yaml
@@ -568,3 +568,21 @@
     parse_output: true
   build_config:
     cmd: ./compile.sh phashmap.lean
+- attributes:
+    description: grind_bitvec2.lean
+    tags: [fast]
+  run_config:
+    <<: *time
+    cmd: lean ../lean/run/grind_bitvec2.lean
+- attributes:
+    description: grind_list2.lean
+    tags: [fast]
+  run_config:
+    <<: *time
+    cmd: lean ../lean/run/grind_list2.lean
+- attributes:
+    description: grind_ring_5.lean
+    tags: [fast]
+  run_config:
+    <<: *time
+    cmd: lean ../lean/run/grind_ring_5.lean