relax bounds #100
Job | Run time |
---|---|
3m 44s | |
3m 44s | |
2m 59s | |
2m 59s | |
9m 22s | |
9m 22s | |
17s | |
17s | |
4m 17s | |
4m 17s | |
4m 50s | |
4m 50s | |
11m 53s | |
11m 53s | |
9m 59s | |
9m 59s | |
9m 28s | |
9m 28s | |
3m 43s | |
3m 43s | |
26m 5s | |
26m 5s | |
21m 33s | |
21m 33s | |
22m 58s | |
22m 38s | |
18m 1s | |
18m 1s | |
19m 2s | |
19m 2s | |
5h 36m 2s |