time uci-option re-commented