diff --git a/submissions/Bitwuzllob.json b/submissions/Bitwuzllob.json
new file mode 100644
index 000000000..5f3efa965
--- /dev/null
+++ b/submissions/Bitwuzllob.json
@@ -0,0 +1,25 @@
+{
+    "name": "Bitwuzllob",
+    "contributors": ["Dominik Schreiber", "Aina Niemetz", "Mathias Preiner"],
+    "contacts": ["Dominik Schreiber <dominik.schreiber@kit.edu>", "Mathias Preiner <preiner@cs.stanford.edu>", "Aina Niemetz <niemetz@cs.stanford.edu>"],
+    "final" : true,
+
+    "archive": {
+      "url": "https://zenodo.org/records/20631919/files/bitwuzllob-submission-smtcomp-2026.zip?download=1",
+      "h": {"sha256": "c95dc623e7be29338fbe170e484e0229f871a337085845964d268b2c8f928f72"}
+    },
+
+    "command": ["bin/run_solver.sh"],
+
+    "website": "https://zenodo.org/records/20631919",
+    "system_description": "https://zenodo.org/records/20631919/files/system-description.pdf?download=1",
+    "solver_type": "Standalone",
+    "seed": "42",
+    "participations": [
+      {
+        "tracks": ["Parallel"],
+        "logics": "^((QF_)?(A)?(UF)?(BV|FP|FPLRA)+)$",
+        "command": ["bin/run_solver.sh"]
+      }
+    ]
+  }