Scripts for batch running
measurement of execution time