On temporal logic constraint solving for analyzing numerical data time series