diff --git a/submissions/Z3-Owl.json b/submissions/Z3-Owl.json
new file mode 100644
index 00000000..463d5330
--- /dev/null
+++ b/submissions/Z3-Owl.json
@@ -0,0 +1,28 @@
+{
+    "name": "Z3-Owl",
+    "contributors": [
+        "Hanrui Zuo", "Peisen Yao"
+    ],
+    "contacts": ["Peisen Yao <pyaoaa@zju.edu.cn>"],
+    "archive": {
+        "url": "https://zenodo.org/records/15792049/files/Z3-Owl.tar?download=1"
+    },
+    "website": "https://rainoftime.github.io/html/owl.html",
+    "system_description": "https://zenodo.org/records/15792049/files/Z3_Owl_at_SMT_COMP_2025.pdf",
+    "command": ["./Z3-Owl"],
+    "solver_type": "derived",
+    "seed": 421,
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "logics": [
+                "QF_BV",
+                "QF_UFBV",
+                "QF_ABV",
+                "QF_AUFBV",
+                "QF_FP",
+                "QF_BVFP"
+            ]
+        }
+    ]
+}
diff --git a/submissions/Z3-base.json b/submissions/Z3-base.json
new file mode 100644
index 00000000..5ac9c8e9
--- /dev/null
+++ b/submissions/Z3-base.json
@@ -0,0 +1,28 @@
+{
+    "name": "Z3-4.15.2.0",
+    "contributors": [
+        "Nikolaj Bjørner et al."
+    ],
+    "contacts": ["Nikolaj Bjørner <nbjorner@microsoft.com>"],
+    "archive": {
+        "url": "https://zenodo.org/records/15792049/files/Z3.tar?download=1"
+    },
+    "website": "https://github.com/Z3Prover/z3",
+    "system_description": "https://link.springer.com/content/pdf/10.1007/978-3-540-78800-3_24.pdf",
+    "solver_type": "Standalone",
+    "command": ["./z3"],
+    "seed": "421",
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "logics": [
+                "QF_BV",
+                "QF_UFBV",
+                "QF_ABV",
+                "QF_AUFBV",
+                "QF_FP",
+                "QF_BVFP"
+            ]
+        }
+    ]
+}