The best pooling operator for time series classification depends on the dataset. — Synthesis