Update Z3-Owl.json

Author: Zahrinas

submissions/Z3-Owl.json

@@ -5,10 +5,10 @@
     ],
     "contacts": ["Peisen Yao <[email protected]>"],
     "archive": {
-        "url": "https://zenodo.org/records/15656183/files/Z3-Owl.gz?download=1"
+        "url": "https://zenodo.org/records/15659176/files/Z3-Owl.tar?download=1"
     },
     "website": "https://rainoftime.github.io/html/owl.html",
-    "system_description": "http://example.com/system.pdf",
+    "system_description": "https://zenodo.org/records/15659176/files/Z3_Owl_at_SMT_COMP_2025.pdf?download=1",
     "command": ["Z3-Owl"],
     "solver_type": "derived",
     "seed": 42,