Parallelize constraint group solving #217
Job | Run time |
---|---|
38m 25s | |
15m 22s | |
1h 45m 15s | |
1h 39m 49s | |
13m 17s | |
1h 39m 44s | |
12m 3s | |
19m 27s | |
1s | |
6h 43m 23s |
Job | Run time |
---|---|
38m 25s | |
15m 22s | |
1h 45m 15s | |
1h 39m 49s | |
13m 17s | |
1h 39m 44s | |
12m 3s | |
19m 27s | |
1s | |
6h 43m 23s |