Loading...
Searching...
No Matches
Interfacing Cplex

Can solve mixed-integer optimization problems using Cplex.

  • Formatted

    solving-lp

    Can solve a feasible LP

    Tested FeatureOutcome
    Can retrieve primal solution100 %
    Can retrieve dual solution100 %
    Can retrieve reduced costs100 %
    Can retrieve basis0 %
    Throws an exception if primal ray is asked100 %
    Throws an exception if farkas certificate is asked100 %
    Can write a model to a file and read it back100 %

    Can update and re-optimize a feasible LP

    Tested FeatureOutcome
    Can add cut and re-optimize100 %
    Can add column and re-optimize100 %
    Can change bounds and re-optimize100 %
    Can add cut and column and re-optimize100 %
    Can change objective function and re-optimize100 %
    Can change right-hand side and re-optimize100 %
    Can change left-hand side and re-optimize0 %
    Can remove a constraint and re-optimize100 %
    Can remove a variable and re-optimize100 %
    Can add and remove the same variable and re-optimize100 %
    Can add and remove a different variable and re-optimize100 %
    Can add and remove the same constraint100 %
    Can add and remove a different constraint100 %
    Can add a constraint which depends on a variable that is then removed100 %
    Can add a variable which depends on a constraint that is then removed100 %
    Can update a variable's bound then remove it100 %
    Can change the objective function then remove a variable which appears in the objective function100 %
    Can update the objective function constant100 %

    Can solve an infeasible LP

    Tested FeatureOutcome
    Can retrieve a Farkas certificate71 %
    Throws an exception if primal values are asked100 %
    Throws an exception if dual values are asked100 %
    Throws an exception if (primal) ray is asked100 %
    Throws an exception if reduced costs are asked100 %

    Can solve an unbounded LP

    Tested FeatureOutcome
    Can retrieve a dual ray71 %
    Throws an exception if primal values are asked100 %
    Throws an exception if dual values are asked100 %
    Throws an exception if farkas certificate is asked100 %
    Throws an exception if reduced costs are asked100 %

    solving-milp

    Can solve a feasible MIP which is integer at the root node

    Tested FeatureOutcome
    Can retrieve primal solution100 %
    Can retrieve the number of solutions100 %
    Can iterate over solutions100 %

    Can solve a feasible MIP which is not integer at the root node

    Tested FeatureOutcome
    Can retrieve the primal solution100 %
    Can retrieve the number of solutions100 %
    Can iterate over solutions100 %

    Can solve an infeasible MIP which is infeasible at root node

    Tested FeatureOutcome
    Can retrieve the solution status100 %
    Can retrieve the number of solutions100 %
    Can compute an irreducible infeasible sub-system-

    Can solve an infeasible MIP which is feasible at the root node

    Tested FeatureOutcome
    Can retrieve the solution status100 %
    Can retrieve the number of solutions100 %
    Can compute an irreducible infeasible sub-system-

    Can solve an unbounded MIP

    Tested FeatureOutcome
    Can retrieve the solution status100 %
    Can retrieve the number of solutions100 %

    Can set parameters of the underlying solver

    Tested FeatureOutcome
    Can set a time limit0 %
    Can turn off presolve0 %
    Can activate infeasible or unbounded info0 %
    Can set an external parameter0 %
    Can set a thread limit0 %
    Can set a relative MIP gap0 %
    Can set an absolute MIP gap0 %
    Can set a best bound stop0 %
    Can set a best obj stop0 %
    Can set an iteration limit0 %
    Can turn on logs0 %
    Can set the maximum number of solutions in the pool0 %

    callbacks

    Can add universal callbacks to monitor the execution of the algorithm

    Tested FeatureOutcome
    Can retrieve root node gap0 %
    Can retrieve root node solution0 %
    Can access nodes' solutions0 %
    Can access integer solutions0 %

    Can add universal callbacks to influence the execution of the algorithm

    Tested FeatureOutcome
    Can add user cut0 %
    Can add lazy constraint100 %
    Can terminate the algorithm0 %
  • Raw This is the raw XML report generated by Catch2.
    <?xml version="1.0" encoding="UTF-8"?>
    <Catch2TestRun name="test_wrapper_Cplex" rng-seed="2178134696" xml-format-version="3" catch2-version="3.3.2">
    <TestCase name="Can solve a feasible LP" tags="[solving-lp]" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="36">
    <Section name="Can retrieve primal solution" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="61">
    <OverallResults successes="8" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve dual solution" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="76">
    <OverallResults successes="10" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve reduced costs" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="94">
    <OverallResults successes="5" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve basis" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="106">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="107">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if primal ray is asked" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="110">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if farkas certificate is asked" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="115">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can write a model to a file and read it back" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="120">
    <OverallResults successes="21" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="false" skips="0">
    <StdOut>
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    No LP presolve or aggregator reductions.
    Presolve time = 0.00 sec. (0.00 ticks)
    Iteration log . . .
    Iteration: 1 Scaled dual infeas = 0.000000
    Iteration: 2 Dual objective = -6315.625000
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    No LP presolve or aggregator reductions.
    Presolve time = 0.00 sec. (0.00 ticks)
    Iteration log . . .
    Iteration: 1 Scaled dual infeas = 0.000000
    Iteration: 2 Dual objective = -6315.625000
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    No LP presolve or aggregator reductions.
    Presolve time = 0.00 sec. (0.00 ticks)
    Iteration log . . .
    Iteration: 1 Scaled dual infeas = 0.000000
    Iteration: 2 Dual objective = -6315.625000
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    No LP presolve or aggregator reductions.
    Presolve time = 0.00 sec. (0.00 ticks)
    Iteration log . . .
    Iteration: 1 Scaled dual infeas = 0.000000
    Iteration: 2 Dual objective = -6315.625000
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    No LP presolve or aggregator reductions.
    Presolve time = 0.00 sec. (0.00 ticks)
    Iteration log . . .
    Iteration: 1 Scaled dual infeas = 0.000000
    Iteration: 2 Dual objective = -6315.625000
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    No LP presolve or aggregator reductions.
    Presolve time = 0.00 sec. (0.00 ticks)
    Iteration log . . .
    Iteration: 1 Scaled dual infeas = 0.000000
    Iteration: 2 Dual objective = -6315.625000
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    No LP presolve or aggregator reductions.
    Presolve time = 0.00 sec. (0.00 ticks)
    Iteration log . . .
    Iteration: 1 Scaled dual infeas = 0.000000
    Iteration: 2 Dual objective = -6315.625000
    </StdOut>
    </OverallResult>
    </TestCase>
    <TestCase name="Can update and re-optimize a feasible LP" tags="[solving-lp]" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="198">
    <Section name="Can add cut and re-optimize" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="211">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add column and re-optimize" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="219">
    <OverallResults successes="4" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can change bounds and re-optimize" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="228">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add cut and column and re-optimize" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="236">
    <OverallResults successes="4" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can change objective function and re-optimize" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="246">
    <OverallResults successes="1" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can change right-hand side and re-optimize" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="252">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can change left-hand side and re-optimize" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="260">
    <Expression success="false" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="260">
    <Original>
    {Unknown expression after the reported line}
    </Original>
    <Expanded>
    {Unknown expression after the reported line}
    </Expanded>
    <Exception filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="260">
    Not implemented
    </Exception>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can remove a constraint and re-optimize" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="269">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can remove a variable and re-optimize" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="276">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add and remove the same variable and re-optimize" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="283">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add and remove a different variable and re-optimize" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="291">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add and remove the same constraint" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="300">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add and remove a different constraint" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="309">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add a constraint which depends on a variable that is then removed" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="318">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add a variable which depends on a constraint that is then removed" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="326">
    <OverallResults successes="4" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can update a variable's bound then remove it" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="337">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can change the objective function then remove a variable which appears in the objective function" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="345">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can update the objective function constant" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="353">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="false" skips="0">
    <StdOut>
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Iteration log . . .
    Iteration: 1 Dual objective = 1.000000
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Using devex.
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Iteration log . . .
    Iteration: 1 Dual objective = 1.000000
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Iteration log . . .
    Iteration: 1 Dual objective = 2.000000
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Using devex.
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Using devex.
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Using devex.
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Using devex.
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Using devex.
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Using devex.
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Using devex.
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Using devex.
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Using devex.
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Using devex.
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Using devex.
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Using devex.
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    LP Presolve eliminated 1 rows and 1 columns.
    All rows and columns eliminated.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Using devex.
    </StdOut>
    <StdErr>
    WARNING: conversion is not implemented
    WARNING: conversion is not implemented
    </StdErr>
    </OverallResult>
    </TestCase>
    <TestCase name="Can solve an infeasible LP" tags="[solving-lp]" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="363">
    <Section name="Can retrieve a Farkas certificate" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="386">
    <Expression success="false" type="CHECK_NOTHROW" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="392">
    <Original>
    farkas = save_farkas(model)
    </Original>
    <Expanded>
    farkas = save_farkas(model)
    </Expanded>
    <Exception filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="392">
    Not implemented
    </Exception>
    </Expression>
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="393">
    <Original>
    farkas.status() == Infeasible
    </Original>
    <Expanded>
    Loaded == Infeasible
    </Expanded>
    </Expression>
    <OverallResults successes="5" failures="2" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if primal values are asked" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="402">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if dual values are asked" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="407">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if (primal) ray is asked" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="412">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if reduced costs are asked" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="417">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="false" skips="0">
    <StdOut>
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Row 'c_4' infeasible, all entries at implied bounds.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Row 'c_4' infeasible, all entries at implied bounds.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Row 'c_4' infeasible, all entries at implied bounds.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Row 'c_4' infeasible, all entries at implied bounds.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Row 'c_4' infeasible, all entries at implied bounds.
    Presolve time = 0.00 sec. (0.00 ticks)
    </StdOut>
    <StdErr>
    WARNING: infeasibility certificate is not implemented
    WARNING: infeasibility certificate is not implemented
    WARNING: infeasibility certificate is not implemented
    WARNING: infeasibility certificate is not implemented
    WARNING: infeasibility certificate is not implemented
    </StdErr>
    </OverallResult>
    </TestCase>
    <TestCase name="Can solve an unbounded LP" tags="[solving-lp]" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="424">
    <Section name="Can retrieve a dual ray" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="447">
    <Expression success="false" type="CHECK_NOTHROW" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="453">
    <Original>
    dual_ray = save_ray(model)
    </Original>
    <Expanded>
    dual_ray = save_ray(model)
    </Expanded>
    <Exception filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="453">
    Not implemented
    </Exception>
    </Expression>
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="454">
    <Original>
    dual_ray.status() == Unbounded
    </Original>
    <Expanded>
    Loaded == Unbounded
    </Expanded>
    </Expression>
    <OverallResults successes="5" failures="2" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if primal values are asked" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="465">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if dual values are asked" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="470">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if farkas certificate is asked" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="475">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Throws an exception if reduced costs are asked" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_lp.test.cpp" line="480">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="false" skips="0">
    <StdOut>
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Dual infeasible due to empty column 'x'.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Preprocessing_Presolve 0
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Dual infeasible due to empty column 'x'.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Preprocessing_Presolve 0
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Dual infeasible due to empty column 'x'.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Preprocessing_Presolve 0
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Dual infeasible due to empty column 'x'.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Preprocessing_Presolve 0
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Dual infeasible due to empty column 'x'.
    Presolve time = 0.00 sec. (0.00 ticks)
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Preprocessing_Presolve 0
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    </StdOut>
    <StdErr>
    WARNING: unbounded ray is not implemented
    WARNING: unbounded ray is not implemented
    WARNING: unbounded ray is not implemented
    WARNING: unbounded ray is not implemented
    WARNING: unbounded ray is not implemented
    </StdErr>
    </OverallResult>
    </TestCase>
    <TestCase name="Can solve a feasible MIP which is integer at the root node" tags="[solving-milp]" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="21">
    <Section name="Can retrieve primal solution" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="45">
    <OverallResults successes="6" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve the number of solutions" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="58">
    <OverallResults successes="1" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can iterate over solutions" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="62">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="true" skips="0">
    <StdOut>
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    </StdOut>
    </OverallResult>
    </TestCase>
    <TestCase name="Can solve a feasible MIP which is not integer at the root node" tags="[solving-milp]" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="71">
    <Section name="Can retrieve the primal solution" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="94">
    <OverallResults successes="11" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve the number of solutions" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="120">
    <OverallResults successes="1" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can iterate over solutions" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="124">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="true" skips="0">
    <StdOut>
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Tried aggregator 1 time.
    No LP presolve or aggregator reductions.
    Presolve time = 0.00 sec. (0.00 ticks)
    Iteration log . . .
    Iteration: 1 Dual objective = -3.250000
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    </StdOut>
    </OverallResult>
    </TestCase>
    <TestCase name="Can solve an infeasible MIP which is infeasible at root node" tags="[solving-milp]" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="132">
    <Section name="Can retrieve the solution status" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="149">
    <Section name="Can retrieve the solution status" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="154">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResults successes="5" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve the number of solutions" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="166">
    <OverallResults successes="1" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can compute an irreducible infeasible sub-system" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="170">
    <Skip filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="174">
    The solver does not implement IIS computation.
    </Skip>
    <OverallResults successes="0" failures="0" expectedFailures="0" skipped="true"/>
    </Section>
    <OverallResult success="true" skips="1">
    <StdOut>
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    </StdOut>
    </OverallResult>
    </TestCase>
    <TestCase name="Can solve an infeasible MIP which is feasible at the root node" tags="[solving-milp]" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="180">
    <Section name="Can retrieve the solution status" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="198">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve the number of solutions" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="209">
    <OverallResults successes="1" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can compute an irreducible infeasible sub-system" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="213">
    <Skip filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="217">
    The solver does not implement IIS computation.
    </Skip>
    <OverallResults successes="0" failures="0" expectedFailures="0" skipped="true"/>
    </Section>
    <OverallResult success="true" skips="1">
    <StdOut>
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    </StdOut>
    </OverallResult>
    </TestCase>
    <TestCase name="Can solve an unbounded MIP" tags="[solving-milp]" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="223">
    <Section name="Can retrieve the solution status" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="235">
    <OverallResults successes="3" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve the number of solutions" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="246">
    <OverallResults successes="1" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="true" skips="0">
    <StdOut>
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Threads 1
    CPXPARAM_MIP_Display 0
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    </StdOut>
    </OverallResult>
    </TestCase>
    <TestCase name="Can set parameters of the underlying solver" tags="[solving-milp]" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="252">
    <Section name="Can set a time limit" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="254">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="255">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can turn off presolve" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="258">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="259">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can activate infeasible or unbounded info" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="262">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="263">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can set an external parameter" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="266">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="267">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can set a thread limit" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="270">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="271">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can set a relative MIP gap" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="274">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="275">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can set an absolute MIP gap" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="278">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="279">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can set a best bound stop" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="282">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="283">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can set a best obj stop" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="286">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="287">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can set an iteration limit" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="290">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="291">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can turn on logs" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="294">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="295">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can set the maximum number of solutions in the pool" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="298">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/solve_milp.test.cpp" line="299">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="false" skips="0"/>
    </TestCase>
    <TestCase name="Can add universal callbacks to monitor the execution of the algorithm" tags="[callbacks]" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="36">
    <Section name="Can retrieve root node gap" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="38">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="39">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can retrieve root node solution" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="42">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="43">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can access nodes' solutions" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="46">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="47">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can access integer solutions" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="50">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="51">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="false" skips="0"/>
    </TestCase>
    <TestCase name="Can add universal callbacks to influence the execution of the algorithm" tags="[callbacks]" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="56">
    <Section name="Can add user cut" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="61">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="64">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can add lazy constraint" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="71">
    <OverallResults successes="2" failures="0" expectedFailures="0" skipped="false"/>
    </Section>
    <Section name="Can terminate the algorithm" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="108">
    <Expression success="false" type="CHECK" filename="/home/henri/Research/idol/tests/mixed-integer/wrappers/universal-callbacks.test.cpp" line="112">
    <Original>
    false
    </Original>
    <Expanded>
    false
    </Expanded>
    </Expression>
    <OverallResults successes="0" failures="1" expectedFailures="0" skipped="false"/>
    </Section>
    <OverallResult success="false" skips="0">
    <StdOut>
    Version identifier: 22.1.1.0 | 2022-11-28 | 9160aff4d
    CPXPARAM_Preprocessing_Reduce 1
    CPXPARAM_Threads 1
    CPXPARAM_Preprocessing_Reformulations 0
    CPXPARAM_MIP_Display 4
    CPXPARAM_Simplex_Tolerances_Optimality 1.0000000000000001e-05
    CPXPARAM_Simplex_Tolerances_Feasibility 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_AbsMIPGap 1.0000000000000001e-05
    CPXPARAM_MIP_Tolerances_Integrality 0.0001
    CPXPARAM_MIP_Limits_LowerObjStop -1e+20
    CPXPARAM_MIP_Limits_UpperObjStop 1e+20
    Legacy callback BbLUD
    Disabling repeat represolve because of lazy constraint/incumbent callback.
    Tried aggregator 1 time.
    Reduced MIP has 0 rows, 2 columns, and 0 nonzeros.
    Reduced MIP has 0 binaries, 1 generals, 0 SOSs, and 0 indicators.
    Presolve time = 0.00 sec. (0.00 ticks)
    Dual steepest-edge pricing selected.
    MIP emphasis: balance optimality and feasibility.
    MIP search method: traditional branch-and-cut.
    Parallel mode: none, using 1 thread.
    Tried aggregator 1 time.
    No LP presolve or aggregator reductions.
    Presolve time = 0.00 sec. (0.00 ticks)
    Root relaxation solution time = 0.00 sec. (0.00 ticks)
    Nodes Cuts/
    Node Left Objective IInf Best Integer Best Bound ItCnt Gap Variable B NodeID Parent Depth
    0 0 5.0909 1 0.0000 0
    * 0+ 0 6.0000 0.0000 100.00%
    Found incumbent of value 6.000000 after 0.01 sec. (0.00 ticks)
    * 0+ 0 5.5000 5.2857 3.90%
    Found incumbent of value 5.500000 after 0.01 sec. (0.01 ticks)
    * 0+ 0 5.4000 5.2857 2.12%
    Found incumbent of value 5.400000 after 0.01 sec. (0.02 ticks)
    0 0 5.2857 1 5.4000 5.4000 1 0.00% 0 0
    Elapsed time = 0.01 sec. (0.03 ticks, tree = 0.01 MB, solutions = 3)
    User cuts applied: 2
    Root node processing (before b&amp;c):
    Real time = 0.01 sec. (0.03 ticks)
    Sequential b&amp;c:
    Real time = 0.00 sec. (0.00 ticks)
    ------------
    Total (root+branch&amp;cut) = 0.01 sec. (0.03 ticks)
    </StdOut>
    <StdErr>
    Warning: Control callbacks may disable some MIP features.
    </StdErr>
    </OverallResult>
    </TestCase>
    <OverallResults successes="195" failures="24" expectedFailures="0" skips="2"/>
    <OverallResultsCases successes="3" failures="7" expectedFailures="0" skips="2"/>
    </Catch2TestRun>
Generated by doxygen 1.16.1