ALL CHECKS COMPLETED SUCCESSFULLY
Mode: fast
Combined log: logs/run_all_checks.log
Expected markers:
- Pair Ferrers: pair_ferrers_ok=True
- Triple Ferrers: Maximum legal size: 32
- Top-star: all_ok=True
- 15-board: board15_labelled_residual_rebuild status ok
- 11-board: board11_semantic status ok
- No-top-star upper blocker: exact_upper_blocker_branch_bound_ok=True
- No-top-star threshold fast: exact_no_topstar_threshold_fast_ok=True
