RESULT rand_hard fam=minimal seed=201 n=6..12 k=3..5 {'generated': 296430, 'pc': 296430, 'arb': 296430, 'pc_not_arb': 0, 'arb_not_pc': 0, 'planted_without_pc': 0, 'enum_checked': 169846, 'enum_mismatch': 0, 'bt_checked': 59286, 'bt_mismatch': 0, 'bt_limit': 0, 'tight': 296430, 'minimal_not_tight': 0, 'threeset': 165950, 'root_inside': 189565, 'repeated_root': 74525, 'parallel': 48101, 'maxJ4plus': 70934, 'verify_fail': 0, 'arcs_before': 6714602, 'arcs_after': 3929043, 'nsum': 2665005, 'seconds': 270.0}
