Merge pull request #1013 from julien-tierny/saddleSaddleSimplification #1096
Job | Run time |
---|---|
34m 34s | |
8m 45s | |
31m 43s | |
9m 10s | |
11m 55s | |
27m 49s | |
11m 8s | |
24m 10s | |
49s | |
2h 40m 3s |
Job | Run time |
---|---|
34m 34s | |
8m 45s | |
31m 43s | |
9m 10s | |
11m 55s | |
27m 49s | |
11m 8s | |
24m 10s | |
49s | |
2h 40m 3s |