public void Dispose()
{
this.stopwatch.Stop();
this.resultRanker.WriteRanking();
this.deferredHtmlGenerator.Dispose();
if (StrategyComparison.totalGameCount > 0)
{
System.Console.WriteLine("");
System.Console.WriteLine("Elapsed Time: {0}s", (double)this.stopwatch.ElapsedMilliseconds / 1000);
System.Console.WriteLine("Total Games Played: {0}", StrategyComparison.totalGameCount);
System.Console.WriteLine("Elapsed Time per game: {0}us", this.stopwatch.ElapsedMilliseconds * 1000 / StrategyComparison.totalGameCount);
System.Console.WriteLine("Elapsed Time per Players Turn: {0}ns", (int)((double)this.stopwatch.ElapsedTicks / System.Diagnostics.Stopwatch.Frequency * 1000 * 1000 * 1000 / GameState.turnTotalCount));
}
PauseForeverUnderDebugger();
}