Z3-Owl Submission 2025 (#181)

* Create Z3-Owl.json

* Update Z3-Owl.json

* Update Z3-Owl.json

* Update Z3-Owl.json

* Update Z3-Owl.json

* Update Z3-Owl.json

* Update Z3-Owl.json

* Update Z3-Owl.json

* Update Z3-Owl.json

* Update Z3-Owl.json

* Create Z3-base

* Update Z3-Owl.json

* Rename Z3-base to Z3-base.json

* Update Z3-Owl.json

* Update Z3-base.json

* Update Z3-base.json

Author: Zahrinas

submissions/Z3-Owl.json

@@ -0,0 +1,28 @@
+{
+    "name": "Z3-Owl",
+    "contributors": [
+        "Hanrui Zuo", "Peisen Yao"
+    ],
+    "contacts": ["Peisen Yao <[email protected]>"],
+    "archive": {
+        "url": "https://zenodo.org/records/15792049/files/Z3-Owl.tar?download=1"
+    },
+    "website": "https://rainoftime.github.io/html/owl.html",
+    "system_description": "https://zenodo.org/records/15792049/files/Z3_Owl_at_SMT_COMP_2025.pdf",
+    "command": ["./Z3-Owl"],
+    "solver_type": "derived",
+    "seed": 421,
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "logics": [
+                "QF_BV",
+                "QF_UFBV",
+                "QF_ABV",
+                "QF_AUFBV",
+                "QF_FP",
+                "QF_BVFP"
+            ]
+        }
+    ]
+}

submissions/Z3-base.json

@@ -0,0 +1,28 @@
+{
+    "name": "Z3-4.15.2.0",
+    "contributors": [
+        "Nikolaj Bjørner et al."
+    ],
+    "contacts": ["Nikolaj Bjørner <[email protected]>"],
+    "archive": {
+        "url": "https://zenodo.org/records/15792049/files/Z3.tar?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"],
+    "seed": "421",
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "logics": [
+                "QF_BV",
+                "QF_UFBV",
+                "QF_ABV",
+                "QF_AUFBV",
+                "QF_FP",
+                "QF_BVFP"
+            ]
+        }
+    ]
+}