Merge pull request #2408 from Ericgig/solver.faster_normalizations #3152
Job | Run time |
---|---|
9s | |
19m 19s | |
18m 38s | |
19m 24s | |
18m 20s | |
20m 38s | |
21m 30s | |
23m 13s | |
25m 50s | |
14s | |
2h 47m 15s |
Job | Run time |
---|---|
9s | |
19m 19s | |
18m 38s | |
19m 24s | |
18m 20s | |
20m 38s | |
21m 30s | |
23m 13s | |
25m 50s | |
14s | |
2h 47m 15s |