output formatting

Author: mahi045

.github/workflows/build.yml

@@ -43,4 +43,9 @@ jobs:
       - name: Sample ProjEnum Run
         run: |
           cd scripts
-          python run_projenum_on_modelcounting.py -i mccmc2021_track1_058.cnf
+          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

IS_dlp_mcctrack1_002.mcc2020_cnf

@@ -55,10 +55,9 @@ The command to run ``ProjEnum`` on item mining benchmark:
 python run_projenum_on_itemmining.py -i vote.cnf
 ```
 
-Proj-Enum runs the tree decomposer for ``100s`` to compute a cut of the Boolean formula.
 
 ## Benchmarks
-The benchmarks and artifact can be found [here](https://zenodo.org/records/13337006).
+The benchmarks and artifact can be found [here](https://zenodo.org/records/19473281).
 
 ## Reference
 ```