Print aggregate stats for krylov, lingen, mksol
Print aggregate stats for krylov, lingen, mksol

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs