Merge pull request #464 from ranocha/patch-4 #947
| Job | Run time |
|---|---|
| 7m 15s | |
| 3m 51s | |
| 22m 46s | |
| 16m 3s | |
| 25m 4s | |
| 41m 15s | |
| 1h 12m 34s | |
| 41m 41s | |
| 17m 13s | |
| 55m 55s | |
| 43m 46s | |
| 7m 23s | |
| 36m 13s | |
| 6h 0m 9s | |
| 18m 36s | |
| 12h 49m 44s |
| Job | Run time |
|---|---|
| 7m 15s | |
| 3m 51s | |
| 22m 46s | |
| 16m 3s | |
| 25m 4s | |
| 41m 15s | |
| 1h 12m 34s | |
| 41m 41s | |
| 17m 13s | |
| 55m 55s | |
| 43m 46s | |
| 7m 23s | |
| 36m 13s | |
| 6h 0m 9s | |
| 18m 36s | |
| 12h 49m 44s |