Skip to content

Merge pull request #7 from ika-rwth-aachen/launch-file-improvements #84

Merge pull request #7 from ika-rwth-aachen/launch-file-improvements

Merge pull request #7 from ika-rwth-aachen/launch-file-improvements #84

Job Run time
9s
9s
11s
12s
12s
8s
11s
9s
8s
9s
12s
10s
10s
9s
11s
10s
11s
48s
44s
46s
46s
54s
45s
46s
44s
55s
36s
36s
43s
39s
35s
35s
47s
41s
15m 11s