<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Hi Sebastian,</p>
<p>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>
</p>
<p>Out of interest: Which other exact solver did you use to produce
this result?</p>
<p>Best,</p>
<p>Leon<br>
</p>
<div class="moz-cite-prefix">Am 9/15/2022 um 12:58 PM schrieb
Sebastian Junges:<br>
</div>
<blockquote type="cite"
cite="mid:4602D9E4-D83F-4146-B6BE-B7761CB1FCB5@cs.ru.nl">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<div class="BodyFragment"><font size="2"><span
style="font-size:10pt;">
<div class="PlainText">Dear developers,<br>
<br>
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>
<br>
During one of the tests, we encountered an error message
which can be reproduced from the command line using<br>
<br>
soplex --readmode=1 --solvemode=1 -f0 -o0 debug.lp<br>
<br>
Error while testing for infeasibility.<br>
<br>
SoPlex status : error [unspecified]<br>
Solving time (sec) : 0.15<br>
Iterations : 3752<br>
Objective value : 0.00000000e+00<br>
<br>
I attached the problem description and the full output. <br>
<br>
Using another exact LP solver, the objective value should
be 3378681/200000000000000 (approx. 1.6893405e-08).
<br>
I understand that the problem is numerically challenging,
which is why using an exact solver is intereting for us.<br>
<br>
Please let me know if you need any other information.<br>
<br>
Best,<br>
Sebastian Junges<br>
<br>
</div>
</span></font></div>
<div class="BodyFragment"><font size="2"><span
style="font-size:10pt;">
<div class="PlainText">_______________________________________________<br>
SoPlex mailing list<br>
<a class="moz-txt-link-abbreviated" href="mailto:SoPlex@zib.de">SoPlex@zib.de</a><br>
<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>
</div>
</span></font></div>
</blockquote>
</body>
</html>