From f4cde26eaf90683bf9557480e4d574842b0604e8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Jon=C3=A1=C5=A1?= <martin.jonas@mail.muni.cz>
Date: Wed, 2 Jul 2025 09:36:34 +0200
Subject: [PATCH] Rename base solver for Bitwuzla-MachBV.

---
 ...la-0-7-0.json => Bitwuzla-MachBV-at-SMT-COMP-2025-base.json} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename submissions/{Bitwuzla-0-7-0.json => Bitwuzla-MachBV-at-SMT-COMP-2025-base.json} (95%)

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"}