From 6380611be31c81dd78f2fb6c4343ebd7f7cd8b23 Mon Sep 17 00:00:00 2001 From: YuhangQ Date: Sun, 23 Apr 2023 16:55:20 +0800 Subject: [PATCH] =?UTF-8?q?=E5=8E=BB=E6=8E=89sat=E6=A8=A1=E5=BC=8F?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/solve.cpp | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/src/solve.cpp b/src/solve.cpp index de4d618..782766d 100644 --- a/src/solve.cpp +++ b/src/solve.cpp @@ -260,19 +260,19 @@ void light::seperate_groups() { int worker_procs = num_procs - 1; if(worker_procs >= 8) { - int sat_procs = worker_procs / 8; - int unsat_procs = sat_procs; + int sat_procs = 0; + int unsat_procs = 2; int default_procs = worker_procs - sat_procs - unsat_procs; - // [1, sat_procs] for sat - if(rank >= 1 && rank <= sat_procs) { - worker_type = light::SAT; - } std::vector tmp; - for(int i=1; i<=sat_procs; i++) { - tmp.push_back(i); - } - sharing_groups.push_back(tmp); + // [1, sat_procs] for sat + // if(rank >= 1 && rank <= sat_procs) { + // worker_type = light::SAT; + // } + // for(int i=1; i<=sat_procs; i++) { + // tmp.push_back(i); + // } + // sharing_groups.push_back(tmp); // [sat_procs+1, sat_procs+unsat_procs] for unsat if(rank >= sat_procs+1 && rank <= sat_procs+unsat_procs) {