Derived/non-competing solver presentation#204

Closed

wintered wants to merge 61 commits intomasterfrom

presentation-derived-solver

Commits on Jul 6, 2025

Add generation of parallel benchmarks and test runs.
Martin Jonáš
committed
Do not use walltime killer anymore.
Martin Jonáš
committed
Use --continue-after-unknown.
Martin Jonáš
committed
Better status reporting.
Martin Jonáš
committed
Show contacts only of competitive solvers.
Martin Jonáš
committed
Generate more meaningful YML names.
Martin Jonáš
committed
Update removed benchmarks.
Martin Jonáš
committed
Remove benchmarks also for non-AWS tracks.
Martin Jonáš
committed
Revert "Do not use walltime killer anymore."
Martin Jonáš
committed

Commits on Jul 7, 2025

Parse the single query/incremental results without scramble_id.
Martin Jonáš
committed

Commits on Jul 23, 2025

bitwuzla: Change options for parallel track. (#201)

mpreiner
authored and
Martin Jonáš
committed
submission: add additional configurations for lower CPU core counts. (#202)

zmylinxi99
authored and
Martin Jonáš
committed
Remove unused AWS infrastructure.
Martin Jonáš
committed
fix: Use LazyFrame during selection of incremental benchmarks.
Martin Jonáš
committed
feat: Do not declare required machines for the parallel track.
Martin Jonáš
committed
feat: Memory limit for parallel track.
Martin Jonáš
committed
Change names of reduced-core parallel solvers.
Martin Jonáš
committed
fix: Correctly recognize out of memory for incremental track.
Martin Jonáš
committed
feat: Adapt parsing of Incremental results to new YML names.
Martin Jonáš
committed
fix: Add nb_answers to all results.
Martin Jonáš
committed
feat: Update year.
Martin Jonáš
committed
feat: Better structure of generated result directories.
Martin Jonáš
committed

Commits on Jul 30, 2025

Commits on Jul 31, 2025

SMTS submission 2025 update (bug fix + 2 more versions) (#203)

Tomaqa
authored and
Martin Jonáš
committed
feat: Do not fail on missing runs, only report errors.
Martin Jonáš
committed
feat: Adapt unsat core and model result parsing to new YML names.
Martin Jonáš
committed
fix: Unify columns for all tracks to get consistent data set.
Martin Jonáš
committed
fix: Drop benchmark_yml only during result processing.
Martin Jonáš
committed
fix: Initialize unsat core column.
Martin Jonáš
committed
fix: Move previous year.
Martin Jonáš
committed
feat: Allow flushing cache in benchexec conversion.
Martin Jonáš
committed
feat: Model validation with new YML names.
Martin Jonáš
committed
feat: Add 2025 benchmarks
Martin Jonáš
committed
feat: Add preliminary results of all tracks except UnsatCore
Martin Jonáš
committed
fix: Result processing.
Martin Jonáš
committed
fix: Recongize lexing-error error from Dolmen.
Martin Jonáš
committed
fix: Progress computation.
Martin Jonáš
committed
fix: Apply black.
Martin Jonáš
committed
feat: Change unsat core validation resource limits.
Martin Jonáš
committed
feat: New unsat core validation rules.
Martin Jonáš
committed

Commits on Aug 2, 2025

Commits on Aug 3, 2025

feat: Adapt unsat core validation to new YML format.
Martin Jonáš
committed
fix: Remove join as there are no removed results.
Martin Jonáš
committed
chore: Apply black.
Martin Jonáš
committed
feat: Remove non-competing divisions from results.
Martin Jonáš
committed
fix: Remove debug prints.
Martin Jonáš
committed
feat: Generate results of Parallel track.
Martin Jonáš
committed
feat: Add BestOverall ranking to certificates.
Martin Jonáš
committed
feat: Generate solver data for certificates automatically.
Martin Jonáš
committed
chore: Update year in certificates.
Martin Jonáš
committed