change to archive with binary

SMT-COMP · May 27, 2024 · 88db339 · 88db339
1 parent c2b1c1f
commit 88db339
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/submissions/z3-noodler.json b/submissions/z3-noodler.json
@@ -9,11 +9,11 @@
     ],
     "contacts": ["Lukáš Holík <[email protected]>"],
     "archive": {
-        "url": "https://github.com/VeriFIT/z3-noodler/blob/devel/docker/z3-noodler.Dockerfile"
+        "url": "https://drive.google.com/file/d/1XSj2PiVJLDx-JQyJRt76OEloC0dWFJqH/view?usp=sharing"
     },
     "website": "https://github.com/VeriFIT/z3-noodler",
     "system_description": "https://github.com/VeriFIT/z3-noodler/blob/devel/doc/noodler/z3-noodler-system-description-2024.pdf",
-    "command": ["z3 smt.string_solver=noodler"],
+    "command": ["z3-noodler_linux smt.string_solver=noodler"],
     "solver_type": "derived",
     "participations": [
         { "tracks": ["SingleQuery"], "divisions": ["QF_Strings"] }