Merge pull request #3137 from mrmundt/solver-refactor #2
| Job | Run time |
|---|---|
| 39s | |
| 9s | |
| 22m 13s | |
| 21m 36s | |
| 16m 54s | |
| 16m 54s | |
| 17m 45s | |
| 19m 13s | |
| 31m 0s | |
| 20m 37s | |
| 20m 22s | |
| 13m 28s | |
| 48m 42s | |
| 46m 57s | |
| 48m 39s | |
| 44m 4s | |
| 36m 3s | |
| 20m 43s | |
| 9m 33s | |
| 28m 48s | |
| 20m 26s | |
| 26m 43s | |
| 3m 54s | |
| 21m 51s | |
| 45m 38s | |
| 28s | |
| 1m 29s | |
| 44s | |
| 10h 5m 32s |