Gamma: 2466 instances (nmax=5, ordered=True, disconnected=True, weightings ['unit', 'rand123', 'rand15']); identity opt = 2 w(D) + mwc(H): OK; path-covering IP agreed on 2466; branch and bound decided 822 of 822 (all agreed)
time 17 s; result OK
