isl_tab_basic_map_partial_lexopt: better exploit partial solution cache