<div id="geary-body"><div>Hi,</div><div><br></div><div>While solving miplib instance <span style="font-family: monospace;">biella1 with cbctrunk using option </span><span style="font-family: monospace;"><b>preprocess aggregate</b> I got the following error (GCC 7.2.1, x86_64):</span></div><div><span style="font-family: monospace;"><br></span></div><div><span style="font-family:monospace">cbc: CbcHeuristic.cpp:2613: virtual int CbcRounding::solution(double&, double*, double): Assertion `fabs(floor(value + 0.5) - value) <= integerTolerance' failed.<br></span></div><div><span style="font-family:monospace"><br></span></div><div><font face="monospace">Inspecting the values:</font></div><span style="font-family:monospace"><i>value</i>: <b>1.9999969960955797</b></span><div><span style="font-family:monospace"><i>integerTolerance</i>: </span><span style="font-family:monospace"><b>9.9999999999999995e-07</b><br></span><span style="font-family:monospace"><i>fabs(floor(value + 0.5)-value)</i>: <b>1</b> </span><span style="font-family: monospace;"> </span></div><div><span style="font-family: monospace;"><br></span></div><div><span style="font-family: monospace;">What is strange is that it seems that the floor function does not gives the correct result:</span></div><div><span style="font-family:monospace">(gdb) p floor( 2.4999969960955797 )
<br>$14 = 1<br>
<br></span></div><div><span style="font-family:monospace"><br></span></div><div><span style="font-family:monospace"><br></span></div></div><div id="geary-signature"><div style="white-space: pre;">​========================================================
Haroldo Gambini Santos
Computing Department
Universidade Federal de Ouro Preto - UFOP
email: haroldo [at ] iceb.ufop.br
home/research page: www.decom.ufop.br/haroldo


It has long been an axiom of mine that the little things are infinitely
the most important.
-- Sir Arthur Conan Doyle, "A Case of Identity"</div></div>