modify testcase for miplib
some checks[] fixes to detect and exclude nonlinearity