Merge pull request #87 from proux01/coq819 #226
Job | Run time |
---|---|
16m 26s | |
13m 59s | |
14m 7s | |
2m 42s | |
2m 35s | |
2m 26s | |
15m 54s | |
13m 44s | |
12m 41s | |
13m 18s | |
3m 18s | |
3m 10s | |
3m 3s | |
3m 12s | |
3m 14s | |
2h 3m 49s |
Job | Run time |
---|---|
16m 26s | |
13m 59s | |
14m 7s | |
2m 42s | |
2m 35s | |
2m 26s | |
15m 54s | |
13m 44s | |
12m 41s | |
13m 18s | |
3m 18s | |
3m 10s | |
3m 3s | |
3m 12s | |
3m 14s | |
2h 3m 49s |