update

SMT-COMP · Jun 14, 2024 · ae0dff5 · ae0dff5
1 parent dd3f4af
commit ae0dff5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/submissions/UltimateEliminator.json b/submissions/UltimateEliminator.json
@@ -6,7 +6,7 @@
     "contacts": ["Matthias Heizmann <[email protected]>"],
     "archive": {
         "url": "https://www.informatik.uni-freiburg.de/~heizmann/2024smtcomp/UltimateEliminator.zip",
-        "h": { "sha256": "a57a47d91d53f8effe33456b0cda67027759a83a62756463d831d6d065ac85be" }
+        "h": { "sha256": "6494d1655a54c565cbdd3bd4dd1469f31cc69ed39bbc81d071dfac6f17fb68ee" }
     },
     "website": "https://ultimate-pa.org/?ui=tool&tool=eliminator",
     "system_description": "https://www.informatik.uni-freiburg.de/~heizmann/2024smtcomp/2024UltimateEliminator.pdf",