diff --git a/benchmarks/execution/ProB/Counter10000.mch b/benchmarks/execution/ProB/Counter100000.mch
similarity index 90%
rename from benchmarks/execution/ProB/Counter10000.mch
rename to benchmarks/execution/ProB/Counter100000.mch
index 1b197cd3aa7923667d41a32b9e711555d3097831..28b65198a05926bdb067997eed6f3dc23f29e955 100644
--- a/benchmarks/execution/ProB/Counter10000.mch
+++ b/benchmarks/execution/ProB/Counter100000.mch
@@ -1,4 +1,4 @@
-MACHINE Counter1000
+MACHINE Counter100000
 
 VARIABLES counter