chore: try refining some benchmark settings (#8377)

2026-03-17 18:34:06 +00:00 · 2025-05-16 13:24:11 +02:00
parent d24aa91232
commit 7994e55d80
2 changed files with 2 additions and 1 deletions
--- a/tests/bench/speedcenter.exec.velcom.yaml
+++ b/tests/bench/speedcenter.exec.velcom.yaml
@@ -447,6 +447,7 @@
  run_config:
    <<: *time
    cmd: lean bv_decide_inequality.lean
+    discarded_runs: 1
    max_runs: 2
 - attributes:
    description: bv_decide_large_aig.lean
--- a/tests/bench/speedcenter.yaml
+++ b/tests/bench/speedcenter.yaml
@@ -255,7 +255,7 @@ run:
    max_block_time: '-1'
    
    # Maximum number of benchmarking runs
-    max_runs: 3
+    max_runs: 5
    
    # Maximum time the whole benchmarking should take, -1 == no timeout, supports normal time span expressions
    max_time: '-1'