GROEBSTAT _ _ _ _ _ _ _ _ _ _ _ _ switch

if groebstat is on, a summary of the groebner or groebnerf computation is printed at the end including the computing time, the number of intermediate H polynomials and the counters for the criteria hits.