new version

SMT-COMP · Jun 13, 2024 · 7926725 · 7926725
1 parent 45f790b
commit 7926725
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/submissions/iprover_smtcomp.json b/submissions/iprover_smtcomp.json
@@ -3,7 +3,7 @@
       "h" : {
          "sha256" : "8f7f4bad13e87d6aaa1bb8ca78b102edaa5495caf65d5fe39c3c16d6f70003d6"
       },
-       "url" : "https://zenodo.org/records/11641141/files/iprover_v3.9_smt_comp_2024.zip"
+       "url" : "https://zenodo.org/records/11642046/files/iprover_v3.9_smt_comp_2024.zip"
    },
    "command" : [
       "bin/iprover_smtcomp.sh"