Parallelize constraint group solving #226
Job | Run time |
---|---|
19m 6s | |
39m 19s | |
19m 17s | |
2h 2m 9s | |
12m 20s | |
1h 58m 6s | |
1h 58m 50s | |
15m 19s | |
4h 33m 56s | |
4h 27m 49s | |
4h 21m 11s | |
21h 7m 22s |
Job | Run time |
---|---|
19m 6s | |
39m 19s | |
19m 17s | |
2h 2m 9s | |
12m 20s | |
1h 58m 6s | |
1h 58m 50s | |
15m 19s | |
4h 33m 56s | |
4h 27m 49s | |
4h 21m 11s | |
21h 7m 22s |