RESULT test_construct fam=minimal seed=402 n=6..12 k=3..5 {'arb': 74200, 'arb_checked': 74200, 'instances': 86510, 'loc': 86510, 'loc_w': 86510, 'nongeneric_OK': 71864, 'nongeneric_TIE': 14646, 'pc': 86510, 'seconds': 240.0, 'strong_perturb_OK': 173020, 'strong_wild_OK': 173020, 'weak_checked': 49504, 'weak_perturb_OK': 86510, 'weak_wild_OK': 86510}
