RESULT test_construct fam=tight seed=401 n=8..16 k=3..6 {'arb': 25183, 'arb_checked': 25183, 'instances': 56430, 'loc': 56430, 'loc_w': 56430, 'nongeneric_OK': 39397, 'nongeneric_TIE': 17033, 'pc': 56430, 'seconds': 240.0, 'strong_perturb_OK': 112860, 'strong_wild_OK': 112860, 'weak_checked': 12642, 'weak_perturb_OK': 56430, 'weak_wild_OK': 56430}
