Bitwuzla-MachBV Submission for SMT-COMP 2025 (#171)

* Create Bitwuzla-MachBV-at-SMT-COMP-2025

init

* Update Bitwuzla-MachBV-at-SMT-COMP-2025

* Create Bitwuzla-0-7-0.json

* Rename Bitwuzla-MachBV-at-SMT-COMP-2025 to Bitwuzla-MachBV-at-SMT-COMP-2025.json

* Update Bitwuzla-MachBV-at-SMT-COMP-2025.json

* Update Bitwuzla-0-7-0.json

* Update Bitwuzla-MachBV-at-SMT-COMP-2025.json

* Update Bitwuzla-0-7-0.json

* Update Bitwuzla-MachBV-at-SMT-COMP-2025.json

* Update Bitwuzla-MachBV-at-SMT-COMP-2025.json

* Update Bitwuzla-MachBV-at-SMT-COMP-2025.json

* Update Bitwuzla-MachBV-at-SMT-COMP-2025.json

* Update Bitwuzla-MachBV-at-SMT-COMP-2025.json

* Update Bitwuzla-0-7-0.json

* Update Bitwuzla-MachBV-at-SMT-COMP-2025.json

* Update Bitwuzla-MachBV-at-SMT-COMP-2025.json

Author: Andeviking

submissions/Bitwuzla-0-7-0.json

@@ -0,0 +1,19 @@
+{
+    "name": "Bitwuzla-0-7-0",
+    "archive": {
+        "url": "https://zenodo.org/records/15752452/files/Bitwuzla-0-7-0.zip",
+        "h": {"sha256": "a85ffea4009c096be3bf627c720fed903bbff1ae3655ac1bd169519ae4403c00"}
+    },
+    "contributors": ["Aina Niemetz", "Mathias Preiner"],
+    "contacts": ["Mathias Preiner <preiner@cs.stanford.edu>"],
+    "website": "https://github.com/bitwuzla/bitwuzla/tree/0.7.0",
+    "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
+}

submissions/Bitwuzla-MachBV-at-SMT-COMP-2025.json

@@ -0,0 +1,34 @@
+{
+    "name": "Bitwuzla-MachBV",
+    "contributors": [
+        "Xiang Zhang",
+        "Shaohuang Chen",
+        "Mengyu Zhao",
+        "Shaowei Cai"
+    ],
+    "contacts": [
+        "Xiang Zhang <zhangx@ios.ac.cn>"
+    ],
+    "archive": {
+        "url": "https://zenodo.org/records/15752452/files/Bitwuzla-MachBV.zip",
+        "h": {"sha256": "7267c86005f3c57bf22fccd8b6d868651be109a9231aeaa01a93d07843d14555"}
+    },
+    "website": "https://github.com/Andeviking/Bitwuzla-MachBV-at-SMT-COMP-2025",
+    "system_description": "https://github.com/Andeviking/Bitwuzla-MachBV-at-SMT-COMP-2025/releases/download/v1.0/Bitwuzla_MachBV_at_SMT_COMP_2025.pdf",
+    "command": [
+        "./MachBV"
+    ],
+    "solver_type": "derived",
+    "seed": 1126300213,
+    "participations": [
+        {
+            "tracks": [
+                "SingleQuery"
+            ],
+            "logics": [
+                "QF_BV"
+            ]
+        }
+    ],
+    "final": true
+}