RESULT tight_exh n=4 k=4 part=0/1 {'root_tuples': 20, 'nodes': 15675, 'complete': 15675, 'no_arb': 0, 'max_families': 36, 'threeset_complete': 1948, 'crosschecked': 15675, 'seconds': 3.6}
