OSTRICH version 2 (#187)

* started OSTRICH submission

* add prelim system desc in ostrich.json

* updated check sum

* updated paths

* updated options

* new check sum

* another update

* replaced link with the Zenodo link

---------

Co-authored-by: Oliver Markgraf <[email protected]>

Author: pruemmer

submissions/ostrich.json

@@ -0,0 +1,25 @@
+{
+    "name": "OSTRICH",
+    "contributors": [
+        "Matthew Hague",
+        "Denghang Hu",
+        "Anthony W. Lin",
+        "Oliver Markgraf",
+        "Philipp Ruemmer",
+        "Zhilin Wu"
+    ],
+    "contacts": ["Philipp Ruemmer <[email protected]>",
+                 "Oliver Markgraf <[email protected]>"],
+    "archive": {
+        "url": "https://zenodo.org/records/15737126/files/ostrich-smt-comp-2025.tar.gz",
+        "h": { "sha256": "9c13dd58dec2ef76f9da2b398960e29a71e14ac79e601161cce367344d8b8744" }
+    },
+    "website": "https://github.com/uuverifiers/ostrich/",
+    "system_description": "https://arg-git.informatik.uni-kl.de/pub/ostrich-system-description-25/-/blob/main/ostrich-system-description.pdf",
+    "command": ["./ostrich", "+quiet", "-portfolio=strings"],
+    "solver_type": "Standalone",
+    "seed": "718582",
+    "participations": [
+        { "tracks": ["SingleQuery"], "divisions": ["QF_Strings"] }
+    ]
+}