Searched refs:restartnum (Results 1 – 4 of 4) sorted by relevance
184 … int restartnum; /* maximal number of conflicts that should be created */ in setupAndSolveSubscipRapidlearning() local314 restartnum = 1000; in setupAndSolveSubscipRapidlearning()330 SCIP_CALL( SCIPsetIntParam(subscip, "conflict/restartnum", restartnum) ); in setupAndSolveSubscipRapidlearning()391 else if( SCIPgetNConflictConssApplied(subscip) >= restartnum ) in setupAndSolveSubscipRapidlearning()
162 int restartnum; member534 bp->restartnum = TIME; in init_bat()683 bp->restartnum--; in draw_bat()684 if (!bp->restartnum) in draw_bat()
172 int restartnum; member615 bp->restartnum = TIME; in init_bounce()754 bp->restartnum--; in draw_bounce()755 if (!bp->restartnum) in draw_bounce()
6610 - `conflict/restartnum` and `conflict/restartfac`