Merge pull request #564 from math-comp/saturate-export #192
| Job | Run time |
|---|---|
| 22s | |
| 24s | |
| 26s | |
| 24s | |
| 29s | |
| 23s | |
| 26s | |
| 23s | |
| 25s | |
| 23s | |
| 25s | |
| 33s | |
| 28s | |
| 28s | |
| 2m 12s | |
| 24s | |
| 24s | |
| 29s | |
| 26s | |
| 13m 6s | |
| 29s | |
| 24s | |
| 24s | |
| 29s | |
| 27s | |
| 26s | |
| 25s | |
| 26s | |
| 23s | |
| 28s | |
| 28s | |
| 28s | |
| 24s | |
| 22s | |
| 3m 33s | |
| 27s | |
| 28s | |
| 28s | |
| 33m 59s |
| Job | Run time |
|---|---|
| 22s | |
| 24s | |
| 26s | |
| 24s | |
| 29s | |
| 23s | |
| 26s | |
| 23s | |
| 25s | |
| 23s | |
| 25s | |
| 33s | |
| 28s | |
| 28s | |
| 2m 12s | |
| 24s | |
| 24s | |
| 29s | |
| 26s | |
| 13m 6s | |
| 29s | |
| 24s | |
| 24s | |
| 29s | |
| 27s | |
| 26s | |
| 25s | |
| 26s | |
| 23s | |
| 28s | |
| 28s | |
| 28s | |
| 24s | |
| 22s | |
| 3m 33s | |
| 27s | |
| 28s | |
| 28s | |
| 33m 59s |