Merge remote-tracking branch 'origin/v92-bugfix' into v9-minor

Author: scip-ci

CHANGELOG

@@ -55,6 +55,7 @@ Fixed bugs
 - declare infinite bound inference infeasible in SCIPinferVarLbCons() and SCIPinferVarUbCons() to maintain correct loose LP values
 - fixed update of consssorted flags in a variable expressions data when adding an additional constraint using this variable
 - corrected computation of number of variables affected by symmetry
+- fixed computation of symmetry group size
 
 Build system
 ------------

src/symmetry/compute_symmetry_sassy_bliss.cpp

@@ -361,7 +361,7 @@ SCIP_RETCODE computeAutomorphisms(
    }
 
    /* determine log10 of symmetry group size */
-   *log10groupsize = (SCIP_Real) log10l(stats.get_group_size_approx()) + (SCIP_Real) sassy.exp;
+   *log10groupsize = (SCIP_Real) log10l(stats.get_group_size_approx() * sassy.base) + (SCIP_Real) sassy.exp;
 
    return SCIP_OKAY;
 }

src/symmetry/compute_symmetry_sassy_nauty.cpp

@@ -395,7 +395,7 @@ SCIP_RETCODE computeAutomorphisms(
    *log10groupsize = 0.0;
    if(sg.nv > 0) {
       sparsenauty(&sg, lab, ptn, orbits, &options, &stats, NULL);
-      *log10groupsize = log10(stats.grpsize1 * pow(10.0, (SCIP_Real) (stats.grpsize2 + sassy.exp)));
+      *log10groupsize = log10(stats.grpsize1 * sassy.base * pow(10.0, (SCIP_Real) (stats.grpsize2 + sassy.exp)));
    }
 #else
    convert_sassy_to_traces(&sassygraph, &sg, &lab, &lab_sz, &ptn, &ptn_sz);
@@ -409,7 +409,7 @@ SCIP_RETCODE computeAutomorphisms(
    options.defaultptn = FALSE; /* use color classes */
    if(sg.nv > 0) {
       Traces(&sg, lab, ptn, orbits, &options, &stats, NULL);
-      *log10groupsize = log10(stats.grpsize1 * pow(10.0, (SCIP_Real) (stats.grpsize2 + sassy.exp)));
+      *log10groupsize = log10(stats.grpsize1 * sassy.base * pow(10.0, (SCIP_Real) (stats.grpsize2 + sassy.exp)));
    }
 #endif