Add models and results from CI

slothy-optimizer · Jun 4, 2024 · cdbb86f · cdbb86f
1 parent 6693322
commit cdbb86f
Show file tree

Hide file tree

Showing 3 changed files with 489 additions and 0 deletions.
diff --git a/paper/scripts/models/README.md b/paper/scripts/models/README.md
@@ -0,0 +1,9 @@
+Some CP-SAT models used in the CI, plus basic performance statistics. May be useful to detect performance regressions,
+e.g. when updating OR-Tools.
+
+Command lines:
+```
+slothy/paper/scripts> SLOTHY_FLAGS="-c log_model=slothy_ci_fft" ./slothy_fft.sh
+slothy/paper/scripts> SLOTHY_FLAGS="-c log_model=slothy_ci_sqmag" ./slothy_sqmag.sh
+slothy> python3 example.py --examples ntt_kyber_123_4567_a55,ntt_dilithium_123_45678_a55 --timeout=300 --log-model --log-model-dir="paper/scripts/models"
+```
diff --git a/paper/scripts/models/models.tar.gz b/paper/scripts/models/models.tar.gz