RESULT tight_exh n=5 k=5 part=0/2 {'root_tuples': 70, 'nodes': 3148150, 'complete': 3148150, 'no_arb': 0, 'max_families': 960, 'threeset_complete': 708995, 'seconds': 35.3}
