let precision_tuning = add_group "Precision vs. time"