You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: src/scip/prop_symmetry.c
+4-1Lines changed: 4 additions & 1 deletion
Original file line number
Diff line number
Diff line change
@@ -199,8 +199,11 @@
199
199
/* other defines */
200
200
#defineMAXGENNUMERATOR 64000000 /**< determine maximal number of generators by dividing this number by the number of variables */
201
201
#defineCOMPRESSNVARSLB 25000 /**< lower bound on the number of variables above which compression could be performed */
202
-
#defineDEFAULT_NAUTYMAXNCELLS 100000 /**< terminate symmetry detection using Nauty when number of cells in color refinment is at least this number */
202
+
#defineDEFAULT_NAUTYMAXNCELLS 100000 /**< terminate symmetry detection using Nauty when number of cells in color refinment is at least this number
203
+
* (avoids segfaults due to Nauty for large graphs) */
203
204
#defineDEFAULT_NAUTYMAXNNODES 10000000 /**< terminate symmetry detection using Nauty when its search tree has at least this number of nodes */
205
+
/*@todo investigate why the Nauty works well for some large instances (miplib2010/mspp16.mps) but not for PB instances (e.g., normalized-celar6-sub0_wcsp.wbo) */
206
+
204
207
205
208
/* macros for getting activeness of symmetry handling methods */
206
209
#defineISSYMRETOPESACTIVE(x) (((unsigned) x & SYM_HANDLETYPE_SYMBREAK) != 0)
0 commit comments