seed 1 trials 40000: {'instances': 18771, 'families': 652494, 'with_potential': 551188, 'with_potential_and_independent': 551188, 'lemma4_violations': 0, 'independent': 554827, 'independent_without_potential': 3639, 'uncovered_case_instances': 887} (261s)
