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_VALUE("Times of convergence (min/max/avg/dev)", "%g / %g / %g / %g",
convergence.get_min(), convergence.get_max(),
convergence.get_mean(), convergence.get_stddev());