<div dir="ltr">Dear all,<div><br></div><div>Sorry to bother you again, but a couple results more that I don't understand.</div><div><br></div><div>With the attached model, in scip-3.1.0.linux.x86_64.gnu.opt.spx with parameters</div>
<div><br></div><div>set limits time 300<br></div><div><div>set limits solutions 1</div><div>set numerics feastol 1.0037e-10<br></div><div><br></div><div>I get a solution within 2.4 sec, but with the message </div><div><br>
</div><div><div>  2.4s|     1 |     0 | 32458 |     - |2458k|   0 |   0 | 139 | 205 | 139 |1703 |1669 |   0 |   0 |-2.225883e+04 |-2.049845e+04 |   8.59%</div><div>  2.4s|     1 |     1 | 32458 |     - |2458k|   0 |   0 | 139 | 205 | 139 |1703 |1669 |   0 |   0 |-2.225883e+04 |-2.049845e+04 |   8.59%</div>
<div><br></div><div>SCIP Status        : solving was interrupted [solution limit reached]</div><div>Solving Time (sec) : 2.41</div><div>Solving Nodes      : 1</div><div>Primal Bound       : -2.04984451262525e+04 (1 solutions)</div>
<div>Dual Bound         : -2.22588342256900e+04</div><div>Gap                : 8.59 %</div><div>  [linear] <c83>:  +0.0781485688398752<x91>[C] +0.0698489436914697<y91>[C] +0.0680134372629892<z91>[C] >= 2.50934406412487e-10;</div>
<div>violation: left hand side is violated by 2.50934366513847e-10</div><div>best solution is not feasible in original problem</div></div><div><br></div><div><br></div><div>This is not the same case as with the feasibility tolerance from yesterday, is it? If I write the solution to a file, it comes out as a perfectly valid solution.</div>
<div><br></div><div><br></div><div>************************</div><div><br></div><div>The second issue is that if I look at a constraint, e.g. c89, in the PIP file that I'm providing,</div><div><br></div><div>c89: -0.166666666666667 x88 y91 z41 + 0.166666666666667 x91 y88 z41 + 0.166666666666667 x88 y41 z91 + -0.166666666666667 x41 y88 z91 + -0.166666666666667 x91 y41 z88 + 0.166666666666667 x41 y91 z88 >= 2.50934406412487e-10<br>
</div><div><br></div><div>and after reading it in SCIP, using display problem, I see</div><div><br></div><div><div>  [nonlinear] <c89>: ( -0.16666666666666699048 * <x88> * <y91> * <z41> +0.16666666666666699048 * <x91> * <y88> * <z41> +0.16666666666666699048 * <x88> * <y41> * <z91> -0.16666666666666699048 * <x41> * <y88> * <z91> -0.16666666666666699048 * <x91> * <y41> * <z88> +0.16666666666666699048 * <x41> * <y91> * <z88>) >= 2.50934406412487e-10;</div>
</div><div><br></div><div><br></div><div>I thought that if I provide the scalar</div><div><br></div><div>-0.166666666666667<br></div><div><br></div><div>and the internal representation has more precision, I'd get </div>
<div><br></div><div>-0.16666666666666700000<br></div><div><br></div><div>instead of</div><div><br></div><div>-0.16666666666666699048<br></div><div><br></div><div>Is this also to be expected?</div><div><br></div><div>Best regards,</div>
<div><br></div><div>Ramon.</div><div><br></div>-- <br><div dir="ltr">Dr. Ramón Casero Cañas<br><br>Institute of Biomedical Engineering<br>Department of Engineering Science, University of Oxford<br>Old Road Campus Research Building, Headington <br>
Oxford <br>OX3 7DQ<br>UK<br><br>tlf         +44 (0) 1865 617716<br>twitter   @Ramon_Casero<br>web      <a href="http://www.cs.ox.ac.uk/people/Ramon.CaseroCanas/" target="_blank">http://www.cs.ox.ac.uk/people/Ramon.CaseroCanas/</a><br>
</div>
</div></div>