diff --git a/submissions/Bitwuzla-0-7-0.json b/submissions/Bitwuzla-MachBV-at-SMT-COMP-2025-base.json
similarity index 95%
rename from submissions/Bitwuzla-0-7-0.json
rename to submissions/Bitwuzla-MachBV-at-SMT-COMP-2025-base.json
index 01fdebcc..84252767 100644
--- a/submissions/Bitwuzla-0-7-0.json
+++ b/submissions/Bitwuzla-MachBV-at-SMT-COMP-2025-base.json
@@ -1,5 +1,5 @@
 {
-    "name": "Bitwuzla-0-7-0",
+    "name": "Bitwuzla-MachBV-base",
     "archive": {
         "url": "https://zenodo.org/records/15752452/files/Bitwuzla-0-7-0.zip",
         "h": {"sha256": "a85ffea4009c096be3bf627c720fed903bbff1ae3655ac1bd169519ae4403c00"}