From 45f86e674502ff0154e6c7c19ccf30f3c455eed3 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 13 Jun 2025 14:53:32 -0700
Subject: [PATCH 1/3] Bitwuzla 2025 submission.

---
 submissions/bitwuzla.json | 44 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 submissions/bitwuzla.json

diff --git a/submissions/bitwuzla.json b/submissions/bitwuzla.json
new file mode 100644
index 00000000..aa174199
--- /dev/null
+++ b/submissions/bitwuzla.json
@@ -0,0 +1,44 @@
+{
+  "name": "Bitwuzla",
+  "contributors": ["Aina Niemetz", "Mathias Preiner"],
+  "contacts": ["Mathias Preiner <preiner@cs.stanford.edu>"],
+
+  "archive": {
+    "url": "https://zenodo.org/records/15660376/files/bitwuzla-submission-smtcomp-2025.zip?download=1",
+    "h": {"sha256": "3c8773ac800272e333d1efaa857ede92e3ba6ac6b6735224092799ac00fb0bd0"}
+  },
+
+  "command": ["bin/bitwuzla"],
+
+  "website": "https://bitwuzla.github.io",
+  "system_description": "https://bitwuzla.github.io/data/smtcomp2025/paper.pdf",
+  "solver_type": "Standalone",
+  "seed": "42",
+  "participations": [
+    {
+      "tracks": ["SingleQuery"],
+      "logics": "^((QF_)?(A)?(UF)?(BV|FP|FPLRA)+)$",
+      "command": ["bin/bitwuzla"]
+    },
+    {
+      "tracks": ["Incremental"],
+      "logics": "^((QF_)?(A)?(UF)?(BV|FP|FPLRA)+)$",
+      "command": ["bin/bitwuzla"]
+    },
+    {
+      "tracks": ["UnsatCore"],
+      "logics": "^((QF_)?(A)?(UF)?(BV|FP|FPLRA)+)$",
+      "command": ["bin/bitwuzla"]
+    },
+    {
+      "tracks": ["ModelValidation"],
+      "logics": "^((QF_)?(A)?(UF)?(BV|FP|FPLRA)+)$",
+      "command": ["bin/bitwuzla"]
+    },
+    {
+      "tracks": ["Parallel"],
+      "logics": "^((QF_)?(A)?(UF)?(BV|FP|FPLRA)+)$",
+      "command": ["bin/bitwuzla", "--sat-solver=gimsatul", "-j", "128"]
+    }
+  ]
+}

From 66b66ae8f3806e7153cdaacf815667337583c8ed Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 27 Jun 2025 17:36:00 -0700
Subject: [PATCH 2/3] Update submission.

---
 submissions/bitwuzla.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/submissions/bitwuzla.json b/submissions/bitwuzla.json
index aa174199..468427dc 100644
--- a/submissions/bitwuzla.json
+++ b/submissions/bitwuzla.json
@@ -4,8 +4,8 @@
   "contacts": ["Mathias Preiner <preiner@cs.stanford.edu>"],
 
   "archive": {
-    "url": "https://zenodo.org/records/15660376/files/bitwuzla-submission-smtcomp-2025.zip?download=1",
-    "h": {"sha256": "3c8773ac800272e333d1efaa857ede92e3ba6ac6b6735224092799ac00fb0bd0"}
+    "url": "https://zenodo.org/records/15760031/files/bitwuzla-submission-smtcomp-2025.zip?download=1",
+    "h": {"sha256": "b97f018f4d92978c6b116c3f0b09f44f06ec15c885f6cc84a9dde3218cc1a583"}
   },
 
   "command": ["bin/bitwuzla"],

From 42e53fb181e772aa4f71fcddb08518a109098d7e Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 27 Jun 2025 17:41:00 -0700
Subject: [PATCH 3/3] Set final.

---
 submissions/bitwuzla.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/submissions/bitwuzla.json b/submissions/bitwuzla.json
index 468427dc..43d6f6ed 100644
--- a/submissions/bitwuzla.json
+++ b/submissions/bitwuzla.json
@@ -2,6 +2,7 @@
   "name": "Bitwuzla",
   "contributors": ["Aina Niemetz", "Mathias Preiner"],
   "contacts": ["Mathias Preiner <preiner@cs.stanford.edu>"],
+  "final" : true,
 
   "archive": {
     "url": "https://zenodo.org/records/15760031/files/bitwuzla-submission-smtcomp-2025.zip?download=1",