seed 2 trials 40000: {'instances': 18746, 'families': 653156, 'with_potential': 551017, 'with_potential_and_independent': 551017, 'lemma4_violations': 0, 'independent': 554655, 'independent_without_potential': 3638, 'uncovered_case_instances': 829} (312s)
