diff --git a/.github/actions/benchexec-test/action.yml b/.github/actions/benchexec-test/action.yml
index c1f75ed4d..540c895bd 100644
--- a/.github/actions/benchexec-test/action.yml
+++ b/.github/actions/benchexec-test/action.yml
@@ -46,7 +46,7 @@ runs:
     - name: Run benchexec
       shell: bash
       run: |
-        benchexec svcomp23-witness-benchmarks/concurrentwitness2test.xml -N 15 --no-container --tool-directory ConcurrentWitness2Test -t ConcurrencySafety-${{ inputs.tool }}
+        benchexec svcomp23-witness-benchmarks/concurrentwitness2test.xml -N 10 --no-container --tool-directory ConcurrentWitness2Test -t ConcurrencySafety-${{ inputs.tool }}
     - name: Upload results
       uses: actions/upload-artifact@0b7f8abb1508181956e8e162db84b466c27e18ce # v3.1.2
       with: