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

Compare commits

base: YuhangQ:27a6f8963ce45059a44168090404d4aabf600cd7
Branches Tags
YuhangQ:main
..
compare: YuhangQ:15b3f343aef59114de5d5486a63663cdeb4facfd
Branches Tags
YuhangQ:main

2 Commits
27a6f8963c ... 15b3f343ae

Author SHA1 Message Date
YuhangQ
15b3f343ae Merge branch 'main' of gitea.yuhangq.com:YuhangQ/cloud-sat into main 2023-04-20 13:01:53 +08:00
YuhangQ
ca4462bbb8 修复 RS 的 BUG 2023-04-20 13:01:51 +08:00
2 changed files with 4 additions and 2 deletions
Show Stats Expand all files Collapse all files

4
experiment/cal.py
View File

@ -274,7 +274,9 @@ def gen_samples(dir):
if __name__ == "__main__":
solvers = []
# solvers.append(solver_SAT_standard_gnomon("/pub/netdisk1/qianyh/aws-batch-comp-infrastructure-sample/docker/runner/exp-result","mallob"))
solvers.append(solver_SAT_standard_gnomon("./exp-result","light-new"))
solvers.append(solver_SAT_standard_gnomon("./light-3m-no-pre","light-3m-no-pre"))
solvers.append(solver_SAT_standard_gnomon("./light-3m","light-3m"))
solvers.append(solver_SAT_standard_gnomon("./light-no-bug","light-no-bug"))
solvers.append(solver_SAT_standard_gnomon("./light-circle","light-circle"))
solvers.append(solver_SAT_standard_gnomon("./light-circle-unique","light-circle-unique"))
solvers.append(solver_SAT_standard_gnomon("./first_version","bug-cloud"))

2
src/solve.cpp
View File

@ -77,7 +77,7 @@ void light::diversity_workers() {
if(worker_type == SAT) {
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);