<br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
        $ ./tools/dimacs-solver -double <a href="http://i_n13.dimacs.int" target="_blank">i_n13.dimacs.int</a><br>
        Run NetworkSimplex: u: 3.46s, s: 242.48s, cu: 0s, cs: 0s, real: 247.726s<br>
<br>
        Feasible flow: found<br>
        Min flow cost: 8.47715e+11<br>
<br>
It is 247, but only 3.4s in the userspace??? First I said, no, the user<br>
and system times must have been changed. But I checked the related code<br>
and couldn't find any bug.<br>
<br></blockquote><div><br>On my machine (linux/g++), user time matches real time for this instance. This is giving the correct solution - and seems to take long (relative to other solvers).<br>
<br><br><br><br> </div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Secondly, if I use -int or -long, it runs basically in 0s and gives a<br>
feasible solution, but a wrong one (Min flow cost: 137). I guess, the<br>
reason is that the demand is given in a floating point form (9.03353e<br>
+06). I would at least expect a format error message in this case.<br></blockquote><div><br>I don't think the reader checks for this - so it is probably just treating it as int or long and truncating - causing the wrong objective.<br>

<br> <br><br><br><br><br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Thirdly, I replaced the demand to integer format (9033530), and rerun<br>
"./dimacs-solver -long". It says: "Feasible flow: not found". Why?<br></blockquote><div><br><br>My guess would be an overflow here.<br>
</div></div><br>