diff --git a/submissions/Z3-4-13-4-inc.json b/submissions/Z3-Inc-Z3++-base.json
similarity index 94%
rename from submissions/Z3-4-13-4-inc.json
rename to submissions/Z3-Inc-Z3++-base.json
index 16ce5501..0223b9df 100644
--- a/submissions/Z3-4-13-4-inc.json
+++ b/submissions/Z3-Inc-Z3++-base.json
@@ -1,5 +1,5 @@
 {
-    "name": "Z3-4-13-4-inc",
+    "name": "Z3-Inc-Z3++-base",
     "archive": {
         "url": "https://zenodo.org/records/15524795/files/z3.zip"
     },