Commit 41cc1d7f authored by Ambi's avatar Ambi
Browse files

[Cplex Status Update] Fix the infeasible or unbounded check by cplex

parent ba9b9f68
......@@ -52,7 +52,7 @@ class OptFuzzer(object):
self.queue.put_nowait(mutant)
print("Seeds initialized")
def get_mutant(self, mut_choice : str, nr_mutations: int = 4) -> dict:
def get_mutant(self, mut_choice : str, nr_mutations: int = 3) -> dict:
parent = self.queue.get()
mps = parent["mps"]
idx = 0
......
......@@ -48,6 +48,7 @@ class CplexSolver(Solver):
# MIP
101 : OPTIMAL,
102 : OPTIMAL,
103 : INFEASIBLE,
107 : TIME_LIMIT_EXCEEDED,
108 : TIME_LIMIT_EXCEEDED,
115 : INFEASIBLE, # https://www-eio.upc.edu/lceio/manuals/cplex-11/html/usrcplex/solveLP19.html
......@@ -74,8 +75,9 @@ class CplexSolver(Solver):
model.solve()
if self.get_sol_status(model.solution) == INF_OR_UNBD:
model.parameters.preprocessing.presolve.set(0)
model.parameters.preprocessing.reduce.set(0)
with VerbosePrint(self.verbose):
model.read(mps_file)
model.solve()
ret = dict()
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment