WIP: closure branch and bound #1074
Job | Run time |
---|---|
1m 4s | |
1m 9s | |
2m 4s | |
2m 7s | |
1m 25s | |
3m 8s | |
2m 32s | |
55s | |
1m 9s | |
1m 11s | |
1m 18s | |
1m 59s | |
39s | |
34s | |
35s | |
48s | |
1m 5s | |
0s | |
23m 42s |
Job | Run time |
---|---|
1m 4s | |
1m 9s | |
2m 4s | |
2m 7s | |
1m 25s | |
3m 8s | |
2m 32s | |
55s | |
1m 9s | |
1m 11s | |
1m 18s | |
1m 59s | |
39s | |
34s | |
35s | |
48s | |
1m 5s | |
0s | |
23m 42s |