testing against miplib