Z3-Noodler submission 2025 (#175)

* z3-noodler submission 2025

* fix command

* fix?

* fix bug

* remove incremental for now

* return back incremental

* Revert "return back incremental"

This reverts commit 1ccf97c.

* Update submissions with final versions

---------

Co-authored-by: David Chocholatý <[email protected]>

Author: jurajsic

submissions/z3-4.13.4.json

@@ -0,0 +1,23 @@
+{
+    "name": "Z3-4.13.4",
+    "contributors": [
+        "Nikolaj Bjørner et al."
+    ],
+    "contacts": ["Nikolaj Bjørner <[email protected]>"],
+    "archive": {
+        "url": "https://zenodo.org/records/15768998/files/z3-noodler_smt-comp25.zip?download=1"
+    },
+    "website": "https://github.com/Z3Prover/z3",
+    "system_description": "https://link.springer.com/content/pdf/10.1007/978-3-540-78800-3_24.pdf",
+    "solver_type": "Standalone",
+    "command": ["./z3-noodler_smt-comp25/z3/z3"],
+    "seed": 4134,
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "divisions": ["QF_Strings"]
+        }
+    ],
+    "competitive": false,
+    "final": true
+}

submissions/z3-noodler.json

@@ -0,0 +1,27 @@
+{
+    "name": "Z3-Noodler",
+    "contributors": [
+        "Vojtěch Havlena",
+        "Juraj Síč",
+        "David Chocholatý",
+        "Lukáš Holík",
+        "Ondřej Lengál",
+        "Michal Hečko"
+    ],
+    "contacts": ["Lukáš Holík <[email protected]>"],
+    "archive": {
+        "url": "https://zenodo.org/records/15768998/files/z3-noodler_smt-comp25.zip?download=1"
+    },
+    "website": "https://github.com/VeriFIT/z3-noodler",
+    "system_description": "https://github.com/VeriFIT/z3-noodler/blob/devel/doc/noodler/z3-noodler-system-description-2025.pdf",
+    "command": ["./z3-noodler_smt-comp25/z3-noodler/z3-noodler"],
+    "solver_type": "derived",
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "divisions": ["QF_Strings"]
+        }
+    ],
+    "seed": 48655,
+    "final": true
+}