Repository navigation

Keep SV-COMP runs within the competition's memory and CPU budget - #88

Closed

nils-loose wants to merge 10 commits into

svcomp27/integrationfrom

fix/resource-budget

Closed

Keep SV-COMP runs within the competition's memory and CPU budget#88
nils-loose wants to merge 10 commits into
svcomp27/integrationfrom
fix/resource-budget

Commits on Oct 18, 2026
- Remove the unused SVCompHandler
  
  nils-loose
  and
  claude
  committed
  942d66d
- Keep SV-COMP runs within the competition's memory and CPU budget
  
  nils-loose
  and
  claude
  committed
  a863ff5
- Run the executor JVM with the C1 compiler only
  
  nils-loose
  and
  claude
  committed
  0269e0b
- Use the same resource budget in the competition package and the harness
  
  nils-loose
  and
  claude
  committed
  a1c072c
- Count each stop of the resource budget once
  
  nils-loose
  and
  claude
  committed
  08fcd4e
Commits on Oct 19, 2026
- End the run when a Z3 query outgrows the memory budget
  
  nils-loose
  and
  claude
  committed
  929b11a
- Count the CPU time of the whole cgroup against the budget
  
  nils-loose
  and
  claude
  committed
  925ce9e
- Log the per-node trace of the branch selection below DEBUG
  
  nils-loose
  and
  claude
  committed
  80287c7
- Pass the explorer's output through in run_swat.py
  
  nils-loose
  and
  claude
  committed
  3e3d367
- Keep the module loggers' DEBUG/INFO lines off stdout in sv-comp mode
  
  nils-loose
  and
  claude
  committed
  d6a6d21