RESULT tight_exh n=6 k=3 part=0/1 {'root_tuples': 21, 'nodes': 751782, 'complete': 718840, 'no_arb': 0, 'max_families': 264, 'threeset_complete': 150452, 'crosschecked': 7188, 'seconds': 7.8}
