Extend user-defined relations to include the index of time
#2203
Job | Run time |
---|---|
38s | |
11m 49s | |
7m 34s | |
6m 45s | |
6m 2s | |
12m 58s | |
9m 25s | |
6m 14s | |
7m 57s | |
4m 49s | |
4m 26s | |
6m 6s | |
5m 44s | |
6m 15s | |
7m 56s | |
6m 57s | |
6m 47s | |
7m 7s | |
8m 12s | |
2h 13m 41s |