20171210 sports.cricket.india-domestic.ranji-trophy: Ranji Trophy: Karnataka rout Mumbai by an innings to storm into semis