exhaustive_independence_graphs=64
exhaustive_two_state_dfas_and_final_sets=65536
randomized_larger_dfa_trials=2500
parsimonious_reduction_pattern_trials=4000
hardness_independence_edges=1
hardness_vertex_cover_number=1
hardness_independence_width=2
hardness_cover_letter_occurrences_per_accepted_word=1
status=PASS