diff --git a/submissions/Bitwuzla-MachBV-at-SMT-COMP-2026.json b/submissions/Bitwuzla-MachBV-at-SMT-COMP-2026.json
new file mode 100644
index 000000000..0f40ffcf6
--- /dev/null
+++ b/submissions/Bitwuzla-MachBV-at-SMT-COMP-2026.json
@@ -0,0 +1,36 @@
+{
+    "name": "Bitwuzla-MachBV",
+    "contributors": [
+        "Xiang Zhang",
+        "Shaohuang Chen",
+        "Mengyu Zhao",
+        "Shaowei Cai"
+    ],
+    "contacts": [
+        "Xiang Zhang <zhangxiang25@ios.ac.cn>"
+    ],
+    "archive": {
+        "url": "https://zenodo.org/records/20610415/files/Bitwuzla-MachBV.zip",
+        "h": {
+            "sha256": "8760165be6d79806e3ae17567e12702366de738eff7dc7dd20ec8d99c12684b5"
+        }
+    },
+    "website": "https://github.com/Andeviking/Bitwuzla-MachBV-at-SMT-COMP-2026",
+    "system_description": "https://github.com/Andeviking/Bitwuzla-MachBV-at-SMT-COMP-2026/blob/main/Bitwuzla_MachBV_at_SMT_COMP_2026.pdf",
+    "command": [
+        "./bin/SMTStabilizer"
+    ],
+    "solver_type": "derived",
+    "seed": "1126300213",
+    "participations": [
+        {
+            "tracks": [
+                "SingleQuery"
+            ],
+            "logics": [
+                "QF_BV"
+            ]
+        }
+    ],
+    "final": true
+}
diff --git a/submissions/Bitwuzla-MachBV-base-at-SMT-COMP-2026.json b/submissions/Bitwuzla-MachBV-base-at-SMT-COMP-2026.json
new file mode 100644
index 000000000..e56ed4121
--- /dev/null
+++ b/submissions/Bitwuzla-MachBV-base-at-SMT-COMP-2026.json
@@ -0,0 +1,33 @@
+{
+    "name": "Bitwuzla-MachBV-base",
+    "archive": {
+        "url": "https://zenodo.org/records/20610415/files/Bitwuzla.zip",
+        "h": {
+            "sha256": "2271688b0f6ffe3d18efb763bd48dda0a5cce8dbbc07ef1be7a9cb5636ebf70f"
+        }
+    },
+    "contributors": [
+        "Aina Niemetz",
+        "Mathias Preiner"
+    ],
+    "contacts": [
+        "Mathias Preiner <preiner@cs.stanford.edu>"
+    ],
+    "website": "https://github.com/bitwuzla/bitwuzla/tree/0.9.1",
+    "system_description": "https://link.springer.com/content/pdf/10.1007/978-3-031-37703-7_1",
+    "command": [
+        "./bitwuzla"
+    ],
+    "solver_type": "Standalone",
+    "seed": 42,
+    "participations": [
+        {
+            "tracks": [
+                "SingleQuery"
+            ],
+            "logics": "QF_BV"
+        }
+    ],
+    "competitive": false,
+    "final": true
+}