Codechange: replace x.size() != 0 with !x.empty() #305
Job | Run time |
---|---|
7m 39s | |
12m 53s | |
9m 36s | |
17m 22s | |
42m 5s | |
16m 45s | |
14m 10s | |
41m 34s | |
12m 36s | |
14m 38s | |
14m 17s | |
12m 47s | |
11m 19s | |
0s | |
3h 47m 41s |
Job | Run time |
---|---|
7m 39s | |
12m 53s | |
9m 36s | |
17m 22s | |
42m 5s | |
16m 45s | |
14m 10s | |
41m 34s | |
12m 36s | |
14m 38s | |
14m 17s | |
12m 47s | |
11m 19s | |
0s | |
3h 47m 41s |