Merge branch 'master' of https://gitlab.inria.fr/paradiseo/paradiseo #19
| Job | Run time |
|---|---|
| 14m 58s | |
| 14m 18s | |
| 14m 13s | |
| 13m 34s | |
| 14m 27s | |
| 14m 0s | |
| 13m 43s | |
| 14m 10s | |
| 13m 52s | |
| 14m 15s | |
| 14m 0s | |
| 2h 35m 30s |
| Job | Run time |
|---|---|
| 14m 58s | |
| 14m 18s | |
| 14m 13s | |
| 13m 34s | |
| 14m 27s | |
| 14m 0s | |
| 13m 43s | |
| 14m 10s | |
| 13m 52s | |
| 14m 15s | |
| 14m 0s | |
| 2h 35m 30s |