diff --git a/.github/performance/benchcomp-config.yaml b/.github/performance/benchcomp-config.yaml
index c077a76721b..5cdbeaa4c54 100644
--- a/.github/performance/benchcomp-config.yaml
+++ b/.github/performance/benchcomp-config.yaml
@@ -14,12 +14,14 @@ variants:
       directory: /home/runner/work/cbmc/cbmc/aws-c-common.git
       env:
         PATH: /home/runner/work/cbmc/cbmc/old/build/bin:${PATH}
+        CBMC_VERBOSITY: --verbosity 9
   aws-c-common@new:
     config:
       command_line: cd verification/cbmc/proofs && ./run-cbmc-proofs.py
       directory: /home/runner/work/cbmc/cbmc/aws-c-common.git
       env:
         PATH: /home/runner/work/cbmc/cbmc/new/build/bin:${PATH}
+        CBMC_VERBOSITY: --verbosity 9
 
 run:
   suites: