Repository navigation

Adopt GH-146 Stern finder as default (both engines); tier5 stems get verified upper bounds - #149

Merged

guluchen merged 6 commits into

mainfrom

adopt/gh146-stern-and-ub-stems

Oct 23, 2026

Merged

Adopt GH-146 Stern finder as default (both engines); tier5 stems get verified upper bounds#149
guluchen merged 6 commits into
mainfrom
adopt/gh146-stern-and-ub-stems

Commits on Oct 23, 2026
- GH-146 S0: -ub-isd=off|stern|dumer[:P,L,W,B,R] collision mode of the shared finder
  
  authored and
  yfc
  committed
  3c8f868
- GH-146: docs (README, MODIFICATIONS soundness), S0 data (tuning, known-d, pre-pass, open codes 3600 s), S1 runner
  
  authored and
  yfc
  committed
  f54f412
- GH-146: S1 (Tier 1-4 panel both engines, Tier 5 6 h), 4-hour finder runs, verified witnesses, report
  
  authored and
  yfc
  committed
  b83dad8
- Make -ub-isd=stern the default finder for -ub-pre (MaxSAT) and -ub-search (CC) (PI 2026-10-23)
  
  authored and
  yfc
  committed
  9ef896c
- -ub-isd: require the finder of the engine in use (default-on -ub-pre / -ub-search)
  
  authored and
  yfc
  committed
  239a596
- data: tier5 stems ge{lb} -> {lb}to{ub} with GH-146 verified upper bounds (PI 2026-10-23)
  
  authored and
  yfc
  committed
  d699180