We observe that both Exact-graph and TNF substantially outperform No-trans and that TNF's graph quality is only slightly lower than Exact-graph (which is extremely slow).
once c is chosen as the parent of v, choosing v's children in G red is substantially constrained.