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

Compare commits

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

No commits in common. "15b3f343aef59114de5d5486a63663cdeb4facfd" and "27a6f8963ce45059a44168090404d4aabf600cd7" have entirely different histories.
15b3f343ae ... 27a6f8963c

2 changed files with 2 additions and 4 deletions
Show Stats Expand all files Collapse all files

4
experiment/cal.py
View File

@ -274,9 +274,7 @@ 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("./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("./exp-result","light-new"))
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", (rank - 1) * OPT(threads) + i);
if (i) workers[i]->configure("order_reset", i);
}
workers[i]->configure("stable", 1);