RESULT tight_exh n=4 k=3 part=0/1 {'root_tuples': 10, 'nodes': 1846, 'complete': 1846, 'no_arb': 0, 'max_families': 12, 'threeset_complete': 130, 'crosschecked': 1846, 'seconds': 0.1}
distinct instances (arcs, multiset of (root, set)): 827
