miplib test with cplex - some problems also fail...