ibex-team / ibex-lib

IBEX is a C++ library for constraint processing over real numbers.
http://ibex-team.github.io/ibex-lib/
GNU Lesser General Public License v3.0
67 stars 51 forks source link

Wrong results during optimization #529

Closed AYadrov closed 1 year ago

AYadrov commented 1 year ago

I have a problem when trying to launch IbexOpt for the following code (c_.bch):

constants
variables
x in [-1, 1];
minimize x;
constraints
x <= 0;
end

When I launch this example with command ibexopt c_.bch I get the results that are out of the given input interval for variable x:

f* in   [-1068010014.01,-1066942004]
    (best bound)

 x* =   (-1066942004)
    (best feasible point)

 relative precision on f*:  0.001 [passed] 
 absolute precision on f*:  1068010.01402
 cpu time used:         1.00000000001e-06s
 number of cells:       0
gchabert commented 1 year ago

Thanks you for reporting this bug. Surprisingly, we never felled on that case before! Just pull the main branch. Gilles