Skip to content

Add check whether relaxation is better than the full step #4203

Add check whether relaxation is better than the full step

Add check whether relaxation is better than the full step #4203

Job Run time
17m 5s
21m 26s
11m 24s
16m 21s
6m 49s
5m 21s
7m 52s
15m 53s
7m 6s
9m 43s
6m 55s
9m 56s
5m 26s
5m 29s
5m 44s
5m 52s
8m 23s
8m 19s
7m 29s
7m 36s
5m 45s
6m 40s
5m 42s
7m 36s
7m 11s
12m 42s
6m 50s
5m 37s
5m 31s
6m 53s
8m 9s
12m 7s
5m 33s
8m 36s
5m 58s
8m 1s
13m 57s
6m 0s
5m 52s
5h 34m 49s