fix termination test as done in SCIPisStopped()

pfetsch · pfetsch · commit c448896f09af · 2025-10-17T20:01:50.000+02:00
diff --git a/src/scip/syncstore.c b/src/scip/syncstore.c
@@ -496,7 +496,7 @@ SCIP_RETCODE SCIPsyncstoreFinishSync(
    {
       if( (*syncdata)->status != SCIP_STATUS_UNKNOWN ||
          (SCIPgetConcurrentGap(syncstore->mainscip) <= syncstore->limit_gap) ||
-         (SCIPgetConcurrentPrimalbound(syncstore->mainscip) - SCIPgetConcurrentDualbound(syncstore->mainscip) <= syncstore->limit_absgap) )
+         (SCIPgetNLimSolsFound(syncstore->mainscip) > 0 && SCIPgetConcurrentPrimalbound(syncstore->mainscip) - SCIPgetConcurrentDualbound(syncstore->mainscip) <= syncstore->limit_absgap) )
          SCIPsyncstoreSetSolveIsStopped(syncstore, TRUE);
 
       syncstore->lastsync = *syncdata;

Original file line number	Diff line number	Diff line change
`@@ -496,7 +496,7 @@ SCIP_RETCODE SCIPsyncstoreFinishSync(`
`496`	`496`	`{`
`497`	`497`	`if( (*syncdata)->status != SCIP_STATUS_UNKNOWN \|\|`
`498`	`498`	`(SCIPgetConcurrentGap(syncstore->mainscip) <= syncstore->limit_gap) \|\|`
`499`		`- (SCIPgetConcurrentPrimalbound(syncstore->mainscip) - SCIPgetConcurrentDualbound(syncstore->mainscip) <= syncstore->limit_absgap) )`
	`499`	`+ (SCIPgetNLimSolsFound(syncstore->mainscip) > 0 && SCIPgetConcurrentPrimalbound(syncstore->mainscip) - SCIPgetConcurrentDualbound(syncstore->mainscip) <= syncstore->limit_absgap) )`
`500`	`500`	`SCIPsyncstoreSetSolveIsStopped(syncstore, TRUE);`
`501`	`501`
`502`	`502`	`syncstore->lastsync = *syncdata;`