Symbol: Opt_max_batch_time