Rename "warmstart" boolean for cpsat coloring solver into "do_warmstart" #960
Job | Run time |
---|---|
42s | |
1s | |
20s | |
2s | |
45s | |
45s | |
46s | |
44s | |
41s | |
45s | |
45s | |
35s | |
1s | |
1s | |
6m 53s |
Job | Run time |
---|---|
42s | |
1s | |
20s | |
2s | |
45s | |
45s | |
46s | |
44s | |
41s | |
45s | |
45s | |
35s | |
1s | |
1s | |
6m 53s |