RESULT tight_exh n=8 k=3 part=10/24 {'root_tuples': 36, 'nodes': 43219941, 'complete': 42183624, 'no_arb': 0, 'max_families': 2592, 'threeset_complete': 22430861, 'crosschecked': 2109, 'seconds': 532.4}
