GMP tuning makes it slower
Switching from untuned to tuned installation of GMP 6.0.0a, I experience minor slowdown, instead of speed improvement. Acoording to profile_sswdlr.gmp6_untuned.cout, it takes 12136.43 seconds to count HNF of five different random matrix of size 3000 with...