core: lexicographical timeserial comparisons #1790
Job | Run time |
---|---|
1m 0s | |
1m 0s | |
25s | |
25s | |
21s | |
21s | |
29s | |
29s | |
36s | |
36s | |
1m 55s | |
1m 16s | |
24s | |
24s | |
9m 41s |
Job | Run time |
---|---|
1m 0s | |
1m 0s | |
25s | |
25s | |
21s | |
21s | |
29s | |
29s | |
36s | |
36s | |
1m 55s | |
1m 16s | |
24s | |
24s | |
9m 41s |