bug fix in MIP result test