RESULT rand_hard fam=tight seed=102 n=6..12 k=3..5 {'generated': 1059124, 'pc': 1059124, 'arb': 1059124, 'pc_not_arb': 0, 'arb_not_pc': 0, 'planted_without_pc': 0, 'enum_checked': 604313, 'enum_mismatch': 0, 'bt_checked': 211824, 'bt_mismatch': 0, 'bt_limit': 0, 'tight': 1059124, 'minimal_not_tight': 0, 'threeset': 683383, 'root_inside': 677493, 'repeated_root': 264302, 'parallel': 173074, 'maxJ4plus': 287681, 'verify_fail': 0, 'arcs_before': 0, 'arcs_after': 0, 'nsum': 9535304, 'seconds': 270.0}
