Gamma': chunk 1/2: 118 instances (nmax=5, ordered=False, disconnected=False, max |D| = 10); identity opt = 2|D| + mwc(H): OK; path-covering IP agreed on 24; branch and bound decided 5 of 5 (all agreed); 98 s
time 98 s; result OK
