rename showResultReport() to showBatchReport(), update documentation, and fix some bug in readScenario()