Select appropriate deps and defines for scip_proto_solver based on sc… #866
Job | Run time |
---|---|
1h 9m 26s | |
1h 12m 59s | |
1h 20m 6s | |
1h 14m 39s | |
1h 2m 25s | |
1h 2m 18s | |
1h 10m 43s | |
1h 3m 58s | |
58m 47s | |
1h 4m 37s | |
1h 12m 13s | |
1h 8m 37s | |
1h 3m 49s | |
1h 6m 20s | |
1h 8m 56s | |
1h 4m 40s | |
53m 22s | |
55m 55s | |
1h 5m 10s | |
1h 17m 0s | |
54m 27s | |
57m 19s | |
1h 4m 36s | |
1h 1m 30s | |
55m 58s | |
59m 34s | |
1h 3m 16s | |
1h 1m 38s | |
1d 6h 14m 18s |