Implemented options and functionality for maxbacktracks, switching on/off of 1.3, 1.5 and 1.5 rules. Improved the benchmark output to csv file. Implemented total time statistics and percentage of IO operations time.