Stats updated

roveri-marco · Feb 21, 2022 · 26742d2 · 26742d2
1 parent d88fd4e
commit 26742d2
Show file tree

Hide file tree

Showing 25 changed files with 5 additions and 2 deletions.
diff --git a/...xplorer/AIJ-analysis-plots/AIJ-analysis-results-plot-best-per-category_best_performer.pdf b/...xplorer/AIJ-analysis-plots/AIJ-analysis-results-plot-best-per-category_best_performer.pdf
diff --git a/.../AIJ-analysis-plots/AIJ-analysis-results-plot-best-per-category_min_unsat_core_finder.pdf b/.../AIJ-analysis-plots/AIJ-analysis-results-plot-best-per-category_min_unsat_core_finder.pdf
diff --git a/...orer/AIJ-analysis-plots/AIJ-analysis-results-plot-best-performance-pie_best_performer.pdf b/...orer/AIJ-analysis-plots/AIJ-analysis-results-plot-best-performance-pie_best_performer.pdf
diff --git a/...lorer/AIJ-analysis-plots/AIJ-analysis-results-plot-best-ucs-pie_min_unsat_core_finder.pdf b/...lorer/AIJ-analysis-plots/AIJ-analysis-results-plot-best-ucs-pie_min_unsat_core_finder.pdf
diff --git a/etc/AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-cactus.pdf b/etc/AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-cactus.pdf
diff --git a/...AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-cactus_returned-uc-only.pdf b/...AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-cactus_returned-uc-only.pdf
diff --git a/etc/AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-clauses_v_time.pdf b/etc/AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-clauses_v_time.pdf
diff --git a/...AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-scatter_AALTAF-v-NuSMVB.pdf b/...AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-scatter_AALTAF-v-NuSMVB.pdf
diff --git a/...AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-scatter_AALTAF-v-NuSMVS.pdf b/...AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-scatter_AALTAF-v-NuSMVS.pdf
diff --git a/etc/AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-scatter_AALTAF-v-TRPPP.pdf b/etc/AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-scatter_AALTAF-v-TRPPP.pdf
diff --git a/...AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-scatter_NuSMVB-v-NuSMVS.pdf b/...AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-scatter_NuSMVB-v-NuSMVS.pdf
diff --git a/etc/AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-scatter_NuSMVB-v-TRPPP.pdf b/etc/AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-scatter_NuSMVB-v-TRPPP.pdf
diff --git a/etc/AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-scatter_NuSMVS-v-TRPPP.pdf b/etc/AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plot-scatter_NuSMVS-v-TRPPP.pdf
diff --git a/...alysis-plots/AIJ-analysis-results-plot-unsat-core-cardinality-scatter_AALTAF-v-NuSMVB.pdf b/...alysis-plots/AIJ-analysis-results-plot-unsat-core-cardinality-scatter_AALTAF-v-NuSMVB.pdf
diff --git a/...alysis-plots/AIJ-analysis-results-plot-unsat-core-cardinality-scatter_AALTAF-v-NuSMVS.pdf b/...alysis-plots/AIJ-analysis-results-plot-unsat-core-cardinality-scatter_AALTAF-v-NuSMVS.pdf
diff --git a/...nalysis-plots/AIJ-analysis-results-plot-unsat-core-cardinality-scatter_AALTAF-v-TRPPP.pdf b/...nalysis-plots/AIJ-analysis-results-plot-unsat-core-cardinality-scatter_AALTAF-v-TRPPP.pdf
diff --git a/...alysis-plots/AIJ-analysis-results-plot-unsat-core-cardinality-scatter_NuSMVB-v-NuSMVS.pdf b/...alysis-plots/AIJ-analysis-results-plot-unsat-core-cardinality-scatter_NuSMVB-v-NuSMVS.pdf
diff --git a/...nalysis-plots/AIJ-analysis-results-plot-unsat-core-cardinality-scatter_NuSMVB-v-TRPPP.pdf b/...nalysis-plots/AIJ-analysis-results-plot-unsat-core-cardinality-scatter_NuSMVB-v-TRPPP.pdf
diff --git a/...nalysis-plots/AIJ-analysis-results-plot-unsat-core-cardinality-scatter_NuSMVS-v-TRPPP.pdf b/...nalysis-plots/AIJ-analysis-results-plot-unsat-core-cardinality-scatter_NuSMVS-v-TRPPP.pdf
diff --git a/etc/AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plots-scatter_ALL.pdf b/etc/AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-analysis-results-plots-scatter_ALL.pdf
diff --git a/...orer/AIJ-analysis-plots/AIJ-analysis-results-plots-unsat-core-cardinality-scatter_ALL.pdf b/...orer/AIJ-analysis-plots/AIJ-analysis-results-plots-unsat-core-cardinality-scatter_ALL.pdf
diff --git a/etc/AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-results_virtual-best_info.xlsx b/etc/AIJ-SAT-explorer/AIJ-analysis-plots/AIJ-results_virtual-best_info.xlsx
diff --git a/etc/AIJ-SAT-explorer/plot-AIJ-results-analysis-and-save-in-paper-dir.sh b/etc/AIJ-SAT-explorer/plot-AIJ-results-analysis-and-save-in-paper-dir.sh
@@ -38,6 +38,6 @@ do
 done
 
 cp "${PLOTS_DIR}/AIJ-results-analysis-summary.txt" "${PAPER_DIR}/img/AIJ-results-analysis-summary.txt"
-cp "${PLOTS_DIR}/AIJ-results-virtual_best_info.csv" "${PAPER_DIR}/img/AIJ-results-virtual_best_info.csv"
+cp "${PLOTS_DIR}/AIJ-results_virtual-best_info.csv" "${PAPER_DIR}/img/AIJ-results-virtual-best_info.csv"
 
 exit 0
diff --git a/etc/AIJ-SAT-explorer/plot-AIJ-results-analysis-percategory.sh b/etc/AIJ-SAT-explorer/plot-AIJ-results-analysis-percategory.sh
@@ -68,6 +68,6 @@ do
 done
 
 # ZIP contents
-zip -r 'AIJ-SAT-analysis-plots.zip' AIJ-analysis-plots/*.json AIJ-analysis-plots/*.pdf AIJ-analysis-plots/*/
+zip -r 'AIJ-SAT-analysis-plots.zip' AIJ-analysis-plots/*.json AIJ-analysis-plots/*.csv AIJ-analysis-plots/*.pdf AIJ-analysis-plots/*/
 
 exit 0
diff --git a/etc/AIJ-SAT-explorer/plot-AIJ-results-analysis.sh b/etc/AIJ-SAT-explorer/plot-AIJ-results-analysis.sh
@@ -56,5 +56,8 @@ python "${MKPLOT_SCRIPT}" -l --legend program -p cactus \
    -t "${TIMEOUT}" --xlabel "\# solved instances" \
    --lloc='lower right' --ymin "0.0001" --ylog -b pdf \
    --save-to "${PLOTS_DIR}/AIJ-analysis-results-plot-cactus_returned-uc-only.pdf" "${PLOTS_DIR}/AIJ-analysis-results-aaltafuc.json" "${PLOTS_DIR}/AIJ-analysis-results-trppp_w_preproc.json" "${PLOTS_DIR}/AIJ-analysis-results-ltlfuc_sat_w_preproc.json" "${PLOTS_DIR}/AIJ-analysis-results-ltlfuc_bdd.json" "${PLOTS_DIR}/AIJ-analysis-results-v_best.json"
+
+# ZIP contents
+zip -r 'AIJ-SAT-analysis-plots.zip' AIJ-analysis-plots/*.json AIJ-analysis-plots/*.csv AIJ-analysis-plots/*.pdf AIJ-analysis-plots/*/
 
 exit 0