2026 execution - #295

Merged

martinjonas merged 21 commits into

Jul 20, 2026

Commits on Jun 24, 2026

fix: Set missing seeds to 0.
Martin Jonáš
committed
48b2213
chore: Mark bitwuzla-dandelion as non-competing.
Martin Jonáš
committed
8f5d25d

Commits on Jun 25, 2026

chore: Publish list of participants.
Martin Jonáš
committed
3711a4b
chore: Set 2026 seed.
Martin Jonáš
committed
0a8c745
feat: Implement new rules on count of selected benchmarks.
Martin Jonáš
committed
03a8bad
feat: Select benchmarks only from competitive logics.
Martin Jonáš
committed
f4876d6
fix: Shorten names of generated YML benchmark files.
Martin Jonáš
committed
431f7ac

Commits on Jul 13, 2026

chore: Update readme.
Martin Jonáš
committed
d8b5c87
fix: Show results also of non-competing solvers.
Martin Jonáš
committed
ebe17a5
fix: Handle case of incremental results with error.
Martin Jonáš
committed
3befe55
fix: Support showing all results.
Martin Jonáš
committed
0760d3d
fix: Filter results to the current track.
Martin Jonáš
committed
c6cc293
chore: Add 2026 benchmark data.
Martin Jonáš
committed
d084503
fix: Correct name of Bitwuzla-SPFD base solver.
Martin Jonáš
committed
0d95198

Commits on Jul 15, 2026

fix: Explicitly set type of 'unsat_core' (was List(Null) when empty).
Martin Jonáš
committed
809556e

Commits on Jul 20, 2026

fix: Handle also WRONG result of incremental track.
Martin Jonáš
committed
e8fb1c4
Merge branch 'master' into 2026_execution
martinjonas
authored
aa75f78
chore: Lint.
Martin Jonáš
committed
e40b30e
chore: Add type annotation.
Martin Jonáš
committed
e501acb
chore: Lint.
Martin Jonáš
committed
22e782e
fix: Make the format of pyproject.toml correct.
Martin Jonáš
committed
2d64225