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