RESULT tight_exh n=8 k=3 part=9/24 {'root_tuples': 36, 'nodes': 41428496, 'complete': 40418805, 'no_arb': 0, 'max_families': 1984, 'threeset_complete': 16175380, 'crosschecked': 2020, 'seconds': 619.7}
