RESULT tight_exh n=4 k=2 part=0/1 {'root_tuples': 4, 'nodes': 158, 'complete': 158, 'no_arb': 0, 'max_families': 4, 'threeset_complete': 0, 'crosschecked': 158, 'seconds': 0.0}
distinct instances (arcs, multiset of (root, set)): 116
