diff --git a/submissions/z3-4.13.4.json b/submissions/z3-noodler-base.json
similarity index 95%
rename from submissions/z3-4.13.4.json
rename to submissions/z3-noodler-base.json
index 0aed01ae..b12e83f1 100644
--- a/submissions/z3-4.13.4.json
+++ b/submissions/z3-noodler-base.json
@@ -1,5 +1,5 @@
 {
-    "name": "Z3-4.13.4",
+    "name": "Z3-Noodler-base",
     "contributors": [
         "Nikolaj Bjørner et al."
     ],