Skip to content

Prove the P104 weighted star program is exactly optimal at 5/6 (no κ) - #7322

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w9-1111f-star-weight-optimum
Open

Prove the P104 weighted star program is exactly optimal at 5/6 (no κ)#7322
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w9-1111f-star-weight-optimum

Prove the P104 weighted star program is exactly optimal at 5/6

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

Annotations

1 error
plan
failed Nov 11, 2026 in 4m 21s