Parallelize constraint group solving #4123
Job | Run time |
---|---|
37m 4s | |
37m 4s | |
46m 29s | |
46m 29s | |
1h 20m 37s | |
1h 20m 37s | |
6h 0m 16s | |
6h 0m 16s | |
17h 28m 52s |
Job | Run time |
---|---|
37m 4s | |
37m 4s | |
46m 29s | |
46m 29s | |
1h 20m 37s | |
1h 20m 37s | |
6h 0m 16s | |
6h 0m 16s | |
17h 28m 52s |