fix behaviour on NIA - return unknown

SMT-COMP · Jun 12, 2024 · 1ac5da0 · 1ac5da0
1 parent 7d6c84e
commit 1ac5da0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/submissions/Amaya.json b/submissions/Amaya.json
@@ -5,8 +5,8 @@
     ],
     "contacts": ["Michal Hečko <mhecko@proton.me>", "Ondřej Lengál <ondra.lengal@gmail.com>"],
     "archive": {
-        "url": "https://github.com/VeriFIT/amaya-smt-comp/raw/master/archives/amaya-smt-comp-2024-v5.tar.gz",
-        "h": { "sha256": "a8bd768b2a15dd796f1524288eb59e1d1d46883349020c98d99796a6b6782bb5" }
+        "url": "https://github.com/VeriFIT/amaya-smt-comp/raw/master/archives/amaya-smt-comp-2024-v6.tar.gz",
+        "h": { "sha256": "5a2e5051741fa5ab1110bb5829304301f222e3aa23e2124fb8ad4e07041bc630" }
     },
     "website": "https://github.com/MichalHe/amaya",
     "system_description": "https://github.com/VeriFIT/amaya-smt-comp/blob/master/system-description-2024/main.pdf",