[Soplex] Bug in Soplex / Exact mode

[Sebastian Junges]

Dear developers,

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.

During one of the tests, we encountered an error message which can be reproduced from the command line using

soplex --readmode=1 --solvemode=1 -f0 -o0 debug.lp

Error while testing for infeasibility.

SoPlex status       : error [unspecified]
Solving time (sec)  : 0.15
Iterations          : 3752
Objective value     : 0.00000000e+00

I attached the problem description and the full output. 

Using another exact LP solver, the objective value should be 3378681/200000000000000 (approx. 1.6893405e-08). 
I understand that the problem is numerically challenging, which is why using an exact solver is intereting for us.

Please let me know if you need any other information.

Best,
Sebastian Junges

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: error-soplex.txt
URL: <http://listserv.zib.de/pipermail/soplex/attachments/20220915/b3335159/attachment.txt>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: debug.lp
Type: application/octet-stream
Size: 27580 bytes
Desc: not available
URL: <http://listserv.zib.de/pipermail/soplex/attachments/20220915/b3335159/attachment.obj>