YuhangQ/cloud-sat
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

修复 RS 的 BUG

Browse Source
This commit is contained in:
YuhangQ 2023-04-20 13:01:51 +08:00
parent 0cb9e15c01
commit 9b988ce7f4
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
run.sh
View File

@ -17,6 +17,9 @@
# 04157f716c1e9606c6a530657bf8f957-Kakuro-easy-125-ext.xml.hg_4.cnf # 04157f716c1e9606c6a530657bf8f957-Kakuro-easy-125-ext.xml.hg_4.cnf
#每次都有BUG
# 3d2a6e5c2f8f58dee79fd50444009625-cfi-rigid-z2-0088-03-or_2_shuffle_all.cnf
# 这个存在问题 # 这个存在问题
DIR=/pub/data/chenzh/data/sat2022 DIR=/pub/data/chenzh/data/sat2022

2
src/solve.cpp
View File

@ -77,7 +77,7 @@ void light::diversity_workers() {
if(worker_type == SAT) { if(worker_type == SAT) {
if (OPT(shuffle)) { if (OPT(shuffle)) {
if (i) workers[i]->configure("order_reset", i); if (i) workers[i]->configure("order_reset", (rank - 1) * OPT(threads) + i);
} }
workers[i]->configure("stable", 1); workers[i]->configure("stable", 1);