Currently there is only one basis status per variable and constraint, but if there are multiple results, then they could have different bases