GUI - various improvements to the preferences #1709
| Job | Run time |
|---|---|
| 26m 30s | |
| 18m 28s | |
| 22m 32s | |
| 17m 56s | |
| 26m 25s | |
| 20m 49s | |
| 19m 3s | |
| 20m 25s | |
| 19m 7s | |
| 24m 29s | |
| 16m 43s | |
| 25m 6s | |
| 4h 17m 33s |
| Job | Run time |
|---|---|
| 26m 30s | |
| 18m 28s | |
| 22m 32s | |
| 17m 56s | |
| 26m 25s | |
| 20m 49s | |
| 19m 3s | |
| 20m 25s | |
| 19m 7s | |
| 24m 29s | |
| 16m 43s | |
| 25m 6s | |
| 4h 17m 33s |