diff --git a/submissions/z3_base.json b/submissions/z3alpha-base.json
similarity index 96%
rename from submissions/z3_base.json
rename to submissions/z3alpha-base.json
index 28a59e80..aeaf8df7 100644
--- a/submissions/z3_base.json
+++ b/submissions/z3alpha-base.json
@@ -1,5 +1,5 @@
 {
-    "name": "Z3-4.15.0",
+    "name": "Z3-alpha-base",
     "contributors": [
         "Nikolaj Bjørner et al."
     ],
@@ -27,4 +27,4 @@
             ]
         }
     ]
-}
\ No newline at end of file
+}