<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi Leon,<div class=""><br class=""></div><div class="">Since the mail didnt go through earlier and I had seen that a previous email was referred to github, </div><div class="">I posted my bug on github: <a href="https://github.com/scipopt/soplex/issues/7" class="">https://github.com/scipopt/soplex/issues/7</a></div><div class=""><br class=""></div><div class="">There you can also find the attached file.</div><div class=""><br class=""></div><div class="">The other solver was the Satisfiability-Modulo-Theories checker z3: <a href="https://github.com/Z3Prover/z3/wiki" class="">https://github.com/Z3Prover/z3/wiki</a></div><div class=""><br class=""></div><div class="">Sebastian</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On 18 Oct 2022, at 09:03, Leon Eifler <<a href="mailto:eifler@zib.de" class="">eifler@zib.de</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" class="">
<div class=""><p class="">Hi Sebastian,</p><p class="">sorry this took a while to get to. Can you send the lp file that
led to this error so I can look if anything can be done? (the
debug.lp that you attached is not something I can read with
SoPlex).<br class="">
</p><p class="">Out of interest: Which other exact solver did you use to produce
this result?</p><p class="">Best,</p><p class="">Leon<br class="">
</p>
<div class="moz-cite-prefix">Am 9/15/2022 um 12:58 PM schrieb
Sebastian Junges:<br class="">
</div>
<blockquote type="cite" cite="mid:4602D9E4-D83F-4146-B6BE-B7761CB1FCB5@cs.ru.nl" class="">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" class="">
<div class="BodyFragment"><font size="2" class=""><span style="font-size:10pt;" class="">
<div class="PlainText">Dear developers,<br class="">
<br class="">
with great interest and quite some success, we have
investigated SoPlex as a backend for our probabilistic
model checker. Many thanks for your continued development
of this LP solver.<br class="">
<br class="">
During one of the tests, we encountered an error message
which can be reproduced from the command line using<br class="">
<br class="">
soplex --readmode=1 --solvemode=1 -f0 -o0 debug.lp<br class="">
<br class="">
Error while testing for infeasibility.<br class="">
<br class="">
SoPlex status : error [unspecified]<br class="">
Solving time (sec) : 0.15<br class="">
Iterations : 3752<br class="">
Objective value : 0.00000000e+00<br class="">
<br class="">
I attached the problem description and the full output. <br class="">
<br class="">
Using another exact LP solver, the objective value should
be 3378681/200000000000000 (approx. 1.6893405e-08).
<br class="">
I understand that the problem is numerically challenging,
which is why using an exact solver is intereting for us.<br class="">
<br class="">
Please let me know if you need any other information.<br class="">
<br class="">
Best,<br class="">
Sebastian Junges<br class="">
<br class="">
</div>
</span></font></div>
<div class="BodyFragment"><font size="2" class=""><span style="font-size:10pt;" class="">
<div class="PlainText">_______________________________________________<br class="">
SoPlex mailing list<br class="">
<a class="moz-txt-link-abbreviated" href="mailto:SoPlex@zib.de">SoPlex@zib.de</a><br class="">
<a href="https://listserv.zib.de/mailman/listinfo/soplex" moz-do-not-send="true" class="moz-txt-link-freetext">https://listserv.zib.de/mailman/listinfo/soplex</a><br class="">
</div>
</span></font></div>
</blockquote>
</div>
</div></blockquote></div><br class=""></div></body></html>