RESULT rand_hard fam=tight seed=101 n=8..16 k=3..6 {'generated': 726343, 'pc': 726343, 'arb': 726343, 'pc_not_arb': 0, 'arb_not_pc': 0, 'planted_without_pc': 0, 'enum_checked': 161099, 'enum_mismatch': 0, 'bt_checked': 145268, 'bt_mismatch': 0, 'bt_limit': 0, 'tight': 726343, 'minimal_not_tight': 0, 'threeset': 510046, 'root_inside': 474181, 'repeated_root': 181606, 'parallel': 124464, 'maxJ4plus': 256480, 'verify_fail': 0, 'arcs_before': 0, 'arcs_after': 0, 'nsum': 8716971, 'seconds': 270.0}
