From 9ab5373c295757ae1556e479dc668e4cdfa6cc86 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:43:28 +0200
Subject: [PATCH] Rename base solver of Z3-Inc-Z3++.

---
 submissions/{Z3-4-13-4-inc.json => Z3-Inc-Z3++-base.json} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename submissions/{Z3-4-13-4-inc.json => Z3-Inc-Z3++-base.json} (94%)

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