BART's on-time definition is "within 5 minutes of scheduled arrival at final station". I recall in NYC's Metro that trains would frequently "go express" and start skipping stops at arbitrary moments. Do these systems do this as well and have that definition? I think I now understand why they do this stuff: they're trying to juice metrics because skipping stations speeds up the train a lot.