RESULT rand_hard fam=general seed=311 n=2..8 k=1..6 {'generated': 593, 'pc': 393, 'arb': 393, 'pc_not_arb': 0, 'arb_not_pc': 0, 'planted_without_pc': 0, 'enum_checked': 593, 'enum_mismatch': 0, 'bt_checked': 118, 'bt_mismatch': 0, 'bt_limit': 0, 'tight': 77, 'minimal_not_tight': 0, 'threeset': 88, 'root_inside': 252, 'repeated_root': 430, 'parallel': 343, 'maxJ4plus': 51, 'verify_fail': 0, 'arcs_before': 0, 'arcs_after': 0, 'nsum': 2929, 'seconds': 224.7}
