- PR_VALUE("Times of convergence (min/max)", "%g / %g",
- convergence.get_min(), convergence.get_max());
+ PR_VALUE("Times of convergence (min/max/avg/dev)", "%g / %g / %g / %g",
+ convergence.get_min(), convergence.get_max(),
+ convergence.get_mean(), convergence.get_stddev());
+ PR_STATS("Idle duration", idle_duration);
+ PR_STATS("Supernumer. comp. iter.", iter_deviation);