It would be useful to have the average time for synch and asynch requests in the round summary included in the monitoring log. It should be sufficient to add the calls to round_synch_summary.getAverageTime() and round_asynch_summary.getAverageTime() in Monitoring::PrintSummary() in Monitoring.hpp