Revised documenation and added timer for solver