Parallelize constraint group solving #224
Job | Run time |
---|---|
14m 1s | |
12m 34s | |
12m 25s | |
38m 40s | |
2h 2m 2s | |
2h 1m 9s | |
1h 57m 28s | |
21m 17s | |
4h 25m 24s | |
4h 21m 53s | |
4h 15m 48s | |
20h 42m 41s |
Job | Run time |
---|---|
14m 1s | |
12m 34s | |
12m 25s | |
38m 40s | |
2h 2m 2s | |
2h 1m 9s | |
1h 57m 28s | |
21m 17s | |
4h 25m 24s | |
4h 21m 53s | |
4h 15m 48s | |
20h 42m 41s |