RESULT rand_hard fam=minimal seed=202 n=8..13 k=3..6 {'generated': 208821, 'pc': 208821, 'arb': 208821, 'pc_not_arb': 0, 'arb_not_pc': 0, 'planted_without_pc': 0, 'enum_checked': 69446, 'enum_mismatch': 0, 'bt_checked': 41764, 'bt_mismatch': 0, 'bt_limit': 0, 'tight': 208821, 'minimal_not_tight': 0, 'threeset': 129260, 'root_inside': 136828, 'repeated_root': 52356, 'parallel': 34668, 'maxJ4plus': 65923, 'verify_fail': 0, 'arcs_before': 5846484, 'arcs_after': 3513734, 'nsum': 2193255, 'seconds': 270.0}
