RESULT tight_exh n=5 k=5 part=1/2 {'root_tuples': 70, 'nodes': 3150088, 'complete': 3150088, 'no_arb': 0, 'max_families': 2340, 'threeset_complete': 711317, 'crosschecked': 1575, 'seconds': 104.3}
