Skip to content

benchcomp: scale the solver-time threshold to whether the SAT instance changed - #4846

Merged
feliperodri merged 5 commits into
model-checking:mainfrom
feliperodri:perf-benchcomp-solver-noise
Sep 30, 2026
Merged

benchcomp: scale the solver-time threshold to whether the SAT instance changed#4846
feliperodri merged 5 commits into
model-checking:mainfrom
feliperodri:perf-benchcomp-solver-noise

benchcomp: say what the solver-time rule gives up

5cf8ed6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Sep 30, 2026 in 5s