Skip to content

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

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

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

Job Run time
12s
11s
12s
14s
9s
12s
9s
13s
11s
8s
15s
11s
14s
9s
9s
10s
15s
44s
44s
48s
44s
53s
47s
45s
42s
55s
35s
35s
44s
38s
37s
34s
46s
42s
15m 27s