[SCIP] SCIProwGetObjParallelism assert query

[James Cussens]

Hi all,

I'm getting the following assert error when running in OPT=dbg mode (everything else default compilation options):

gobnilp: src/scip/lp.c:7820: SCIProwGetObjParallelism: Assertion `SCIPsetIsSumLE(set, parallelism, 1.0)' failed.

The relevant code from lp.c is:

   parallelism = SCIPsetIsPositive(set, prod) ? REALABS(row->objprod) / SQRT(prod) : 0.0;
   assert(SCIPsetIsSumGE(set, parallelism, 0.0));
   assert(SCIPsetIsSumLE(set, parallelism, 1.0));
   parallelism = MIN(parallelism, 1.0);
   parallelism = MAX(parallelism, 0.0);

If it is reasonable to assert that parallelism is <= 1.0, then why do we need the  "parallelism = MIN(parallelism, 1.0);" line?

Here are the values that are causing the assert error:
[lp.c:7819] debug: |row->objprod|=5.66927e+07,prod=7.62443e+14,parallelism=2.05316
 
James

James Cussens
Room MVB 3.26
Dept of Computer Science, University of Bristol
Phone: +44 (0)117 455 8723
https://jcussens.github.io/
Funded PhDs available in Bristol in the following areas: Data Science<http://www.bristol.ac.uk/cdt/compass/>, Interactive AI<http://www.bristol.ac.uk/cdt/interactive-ai/>, Cyber Security<http://www.bristol.ac.uk/cdt/cyber-security/> or Digital Health<http://www.bristol.ac.uk/cdt/digital-health/>.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20230623/6a174747/attachment.html>