Before I go and try to capture some data, has anyone collected statistics on how long it takes a pianist to half-pedal the sustain pedal? That is, with the pedal down, what would be a reasonable amount of time it would take a pianist to bring the pedal up, and then back down again?
This is motivated by
lilypond (as of 2.18.2) putting zero-time pedal changes into its MIDI output via
['set_tempo', 0, 500000], ... ['note_on', 1536, 0, 60, 0], # the second C4 ['control_change', 0, 0, 64, 0], # and at the same time, pedal up ['control_change', 0, 0, 64, 127], # and at the same time, pedal down
I would imagine that the pedal up must happen at least _____ (some number of milliseconds, on average) before the pedal down.