Statistics for A Platform for analyzing log files using temporal logic approach: a test case with web server logs