From 758e763b3b2ddfa8ef1332683e752f313efae0cd 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:52:13 +0200
Subject: [PATCH] Rename base solver of Z3alpha.

---
 submissions/{z3_base.json => z3alpha-base.json} | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
 rename submissions/{z3_base.json => z3alpha-base.json} (96%)

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