diff --git a/tests/compile_bench/nat_repr.lean.init.sh b/tests/compile_bench/nat_repr.lean.init.sh
index 121ab81fa4..bcbaa1a0d6 100644
--- a/tests/compile_bench/nat_repr.lean.init.sh
+++ b/tests/compile_bench/nat_repr.lean.init.sh
@@ -1,5 +1,5 @@
 TEST_ARGS=( 500 )
 
 if [[ -n $TEST_BENCH ]]; then
-  TEST_ARGS=( 5000 )
+  TEST_ARGS=( 15000 )
 fi