Rename base solver of Z3-Noodler-Mocha. (#196)

Co-authored-by: Martin Jonáš <[email protected]>

Author: martinjonas

submissions/Z3-Noodler.json submissions/Z3-Noodler-Mocha-base.jsonsubmissions/Z3-Noodler.json renamed to submissions/Z3-Noodler-Mocha-base.json

@@ -1,5 +1,5 @@
 {
-    "name": "Z3-Noodler",
+    "name": "Z3-Noodler-Mocha-base",
     "archive": {
         "url": "https://zenodo.org/records/15766150/files/base_solver.tar.gz"
     },
@@ -22,4 +22,4 @@
     ],
     "competitive": false,
     "final": true
-}
+}