diff --git a/tests/bench/speedcenter.exec.yaml b/tests/bench/speedcenter.exec.yaml index dfc294f822..2d2a7372ed 100644 --- a/tests/bench/speedcenter.exec.yaml +++ b/tests/bench/speedcenter.exec.yaml @@ -81,6 +81,14 @@ cmd: ./rbmap_checkpoint.lean.out 2000000 1 build_config: cmd: ./compile.sh rbmap_checkpoint.lean +- attributes: + description: rbmap_10 + tags: [fast, suite] + run_config: + <<: *time + cmd: ./rbmap_checkpoint.lean.out 2000000 10 + build_config: + cmd: ./compile.sh rbmap_checkpoint.lean - attributes: description: unionfind tags: [fast, suite]