bitwuzla: Change options for parallel track. (#201)

* bitwuzla: Change options for parallel track.

Add additional configurations for lower CPU core counts.

* Make additional configurations non-competitive.

Author: mpreiner

submissions/bitwuzla.json

@@ -39,7 +39,7 @@
     {
       "tracks": ["Parallel"],
       "logics": "^((QF_)?(A)?(UF)?(BV|FP|FPLRA)+)$",
-      "command": ["bin/bitwuzla", "--sat-solver=gimsatul", "-j", "128"]
+      "command": ["bin/bitwuzla", "--sat-solver=gimsatul", "-j", "64"]
     }
   ]
 }

submissions/bitwuzla_parallel_16.json

@@ -0,0 +1,27 @@
+{
+  "name": "Bitwuzla",
+  "contributors": ["Aina Niemetz", "Mathias Preiner"],
+  "contacts": ["Mathias Preiner <[email protected]>"],
+  "final" : true,
+
+  "archive": {
+    "url": "https://zenodo.org/records/15760031/files/bitwuzla-submission-smtcomp-2025.zip?download=1",
+    "h": {"sha256": "b97f018f4d92978c6b116c3f0b09f44f06ec15c885f6cc84a9dde3218cc1a583"}
+  },
+
+  "command": ["bin/bitwuzla"],
+
+  "website": "https://bitwuzla.github.io",
+  "system_description": "https://bitwuzla.github.io/data/smtcomp2025/paper.pdf",
+  "solver_type": "Standalone",
+  "seed": "42",
+  "competitive": false,
+  "participations": [
+    {
+      "tracks": ["Parallel"],
+      "logics": "^((QF_)?(A)?(UF)?(BV|FP|FPLRA)+)$",
+      "command": ["bin/bitwuzla", "--sat-solver=gimsatul", "-j", "16"]
+    }
+  ]
+}
+

submissions/bitwuzla_parallel_32.json

@@ -0,0 +1,27 @@
+{
+  "name": "Bitwuzla",
+  "contributors": ["Aina Niemetz", "Mathias Preiner"],
+  "contacts": ["Mathias Preiner <[email protected]>"],
+  "final" : true,
+
+  "archive": {
+    "url": "https://zenodo.org/records/15760031/files/bitwuzla-submission-smtcomp-2025.zip?download=1",
+    "h": {"sha256": "b97f018f4d92978c6b116c3f0b09f44f06ec15c885f6cc84a9dde3218cc1a583"}
+  },
+
+  "command": ["bin/bitwuzla"],
+
+  "website": "https://bitwuzla.github.io",
+  "system_description": "https://bitwuzla.github.io/data/smtcomp2025/paper.pdf",
+  "solver_type": "Standalone",
+  "seed": "42",
+  "competitive": false,
+  "participations": [
+    {
+      "tracks": ["Parallel"],
+      "logics": "^((QF_)?(A)?(UF)?(BV|FP|FPLRA)+)$",
+      "command": ["bin/bitwuzla", "--sat-solver=gimsatul", "-j", "32"]
+    }
+  ]
+}
+