diff --git a/Makefile b/Makefile index 673116904..98783557f 100644 --- a/Makefile +++ b/Makefile @@ -81,8 +81,8 @@ results-generation: @poetry run smtcomp export-results-pages data Incremental # @echo "🚀 Generating results to web/content/results for Cloud" # @poetry run smtcomp export-results-pages data Cloud - # @echo "🚀 Generating results to web/content/results for Parallel" - # @poetry run smtcomp export-results-pages data Parallel + @echo "🚀 Generating results to web/content/results for Parallel" + @poetry run smtcomp export-results-pages data Parallel charts-generation: @echo "🚀 Generating results to web/content/results for SingleQuery" @@ -95,8 +95,8 @@ charts-generation: @poetry run smtcomp generate-website-graphics data Incremental # @echo "🚀 Generating results to web/content/results for Cloud" # @poetry run smtcomp generate-website-graphics data Cloud - # @echo "🚀 Generating results to web/content/results for Parallel" - # @poetry run smtcomp generate-website-graphics data Parallel + @echo "🚀 Generating results to web/content/results for Parallel" + @poetry run smtcomp generate-website-graphics data Parallel cache: diff --git a/data/results-parallel-2026.json.gz b/data/results-parallel-2026.json.gz new file mode 100644 index 000000000..9b8dc4365 Binary files /dev/null and b/data/results-parallel-2026.json.gz differ