Runtime Error when using Gurobi and Bound tightening

[marcel-v]

Hi,

I observe an runtime error when running Marabou with this query when using --lp-solver gurobi and any bound tightening strategy, i.e., not using --tightening-strategy none.

I can trace the error to a bad access in Tableau::updateVariableToComplyWithUpperBoundUpdate( unsigned int, double ),
specifically, _variableToIndex[variable] (Tableau.cpp:1770),
see the stack.
At access time, _variableToIndex still points to NULL.

Commit is 492c1b8.

Thanks in advance for any feedback!

Best,
Marcel

[wu-haoze]

Hi @marcel-v , thanks for your interest in the tool and tracking down the error. This does seem to be a issue stemming from this latest commit.
We will fix the bug asap.
For now, could you please revert back to the previous commit 2641ce7? This one should work.

[wu-haoze]

Hi @marcel-v , please try the latest master. should be fixed.

[marcel-v]

Hi @marcel-v , please try the latest master. should be fixed.

Great, works!

[marcel-v]

There appears to be another invalid access to the tableau internals when using Gurobi with this query, resulting in
this stack.

I am at latest commit eb93d44.

[wu-haoze]

Hi @marcel-v , I apologize for the inconvenience. A new Pr should fix these issues, and all the regression tests now pass with Gurobi on.