Failing 5 tests when building with Gurobi optimizer

[ggustavs]

Following the install steps listed here I ran this command:

cmake --build ./

During the build process, I got this output:

93% tests passed, 5 tests failed out of 76

Label Time Summary: basis_factorization unit = 0.98 secproc (14 tests) cegar unit = 0.26 secproc (1 test) common unit = 0.91 secproc (19 tests) engine unit = 6.93 secproc (30 tests) network_level_reasoner unit = 1.18 secproc (4 tests) parser unit = 3.33 secproc (2 tests) proofs unit = 0.73 secproc (5 tests) query_loader unit = 0.26 secproc (1 test)

Total Test time (real) = 3.26 sec

The following tests FAILED: 17 - Test_MILPEncoder (Failed) 49 - Test_GurobiWrapper (Failed) 73 - Test_OnnxParser (Failed) 74 - Test_VnnLibParser (Failed) 79 - Test_ParallelSolver (Failed)

After inspecting the full output, I saw that the tests kept failing with this error message: "Set parameter Username"

I am trying to build Marabou on Ubuntu 22.04.4 LTS running inside of a docker container. The installed Gurobi version is 9.5.1 The cmake verison is 3.20.0

Please ask if you need any more information. I can also provide the image if that would help.

[wu-haoze]

Hi @ggustavs , this usually happens when the Gurobi license is not found. Once you have a working license. Before building, invoke

export GRB_LICENSE_FILE=path/to/license/file

[wu-haoze]

The fact you’re using in a docker could also be the problem. The Gurobi license might be specific to a particular MAC address (I’m not sure whether docker image has its own virtual MAC address).

[wu-haoze]

Closing due to inactivity. Feel free to re-open if needed.