<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Hi Sepideh,</p>
<p><br>
</p>
<p>I am always happy when people want to use exact SCIP! I checked
your instance, and that is indeed a bug present in the 0.3
tarball.</p>
<p>As also written on GitHub, the most up-to-date version of exact
SCIP is always available through
<a class="moz-txt-link-freetext" href="https://github.com/scipopt/scip/tree/exact-rational">https://github.com/scipopt/scip/tree/exact-rational</a>, where that
bug has already been fixed.<br>
</p>
<p>If you use that, your problem should be solved correctly. If you
experience any further bugs, please don't hesitate to reach out.</p>
<p><br>
</p>
<p>Best regards,</p>
<p>Leon<br>
</p>
<p><br>
</p>
<p><br>
</p>
<div class="moz-cite-prefix">Am 3/11/2024 um 4:17 PM schrieb Sedghi,
Sepideh:<br>
</div>
<blockquote type="cite"
cite="mid:SN6PR01MB5312CED0AD6675AAC89DAE6BA9242@SN6PR01MB5312.prod.exchangelabs.com">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<style type="text/css" style="display:none;">P {margin-top:0;margin-bottom:0;}</style>
<p class="elementToProof"
style="margin-top: 0px; margin-bottom: 0px;"><span
style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(13, 13, 13);">Dear
SCIP Development Team,</span></p>
<p class="elementToProof"
style="margin-top: 0px; margin-bottom: 0px;"><span
style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(13, 13, 13);"><br>
</span></p>
<p class="elementToProof"
style="text-align: left; text-indent: 0px; white-space: pre-wrap; background-color: rgb(255, 255, 255); margin: 1.25em 0px;">
<span
style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(13, 13, 13);">I am a Ph.D. student at Worcester Polytechnic Institute (WPI). I recently installed SCIP-Exact 0.3 for my research to solve MIP models without roundoff errors.
Although "</span><span
style="font-family: "Times New Roman", Times, serif; font-size: 14px; font-weight: 600;"><code
style="font-family: "Times New Roman", Times, serif;">ctest -R MIPEX"</code></span><span
style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(13, 13, 13);">
passed all the tests and confirmed a successful installation, I encountered unexpected behavior while solving a basic knapsack problem. With the exact mode disabled, SCIP provided the optimal solution of 14. However, with the exact mode enabled, SCIP returned
a feasible but non-optimal solution of 0. I tried with a few other examples as well, and in all the examples SCIP returned a non-optimal solution with exact mode enabled. I have attached my model and a screenshot of the SCIP solution for your reference. Could
you kindly provide insights on how to resolve the discrepancy?</span></p>
<p
style="text-align: left; text-indent: 0px; white-space: pre-wrap; background-color: rgb(255, 255, 255); margin: 1.25em 0px;">
<span
style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(13, 13, 13);">Thank you for your time and assistance.</span></p>
<p class="elementToProof"
style="text-align: left; text-indent: 0px; white-space: pre-wrap; background-color: rgb(255, 255, 255); margin: 1.25em 0px 0px;">
<span
style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(13, 13, 13);">Best regards, Sepideh Sedghi</span></p>
<br>
<fieldset class="moz-mime-attachment-header"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Scip mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a>
<a class="moz-txt-link-freetext" href="https://listserv.zib.de/mailman/listinfo/scip">https://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</blockquote>
</body>
</html>