artifact changed

Author: mahi045

.github/workflows/build.yml

@@ -43,9 +43,4 @@ jobs:
       - name: Sample ProjEnum Run
         run: |
           cd scripts
-          python run_projenum_on_modelcounting.py -i mccmc2021_track1_058.cnf
-
-      - name: Sample ProjEnum Run
-        run: |
-          cd scripts
-          python run_projenum_on_itemmining.py -i vote.cnf
+          python run_projenum_on_modelcounting.py -i mccmc2021_track1_058.cnf

README.md

@@ -57,7 +57,7 @@ python run_projenum_on_itemmining.py -i vote.cnf
 
 
 ## Benchmarks
-The benchmarks and artifact can be found [here](https://zenodo.org/records/19473281).
+The benchmarks and artifact can be found [here](https://zenodo.org/records/19607802).
 
 ## Reference
 ```